theseus

theseus

构建适用于机器人和视觉应用的定制非线性优化层

Theseus 是一个高效的通用库,专门用于在 PyTorch 中构建定制的非线性优化层,支持机器人和视觉问题中的端到端可微分架构。其特性包括二阶非线性优化器、线性求解器、向量化和 GPU 加速,有助于提高计算速度和内存使用效率。该库通过结合领域专用模型和神经网络模型,在保持计算梯度的同时优化 AI 模型,非常适合研究人员和开发者使用。

Theseus非线性优化神经网络PyTorch机器人Github开源项目

Theseus 项目介绍

Theseus 是一个高效且不依赖特定应用的库,用于在 PyTorch 中构建自定义的非线性优化层,支持在机器人和视觉领域中构建多种问题作为端到端可微分的架构。

项目背景

Theseus 提供了一种通用的方法用于编码归纳先验,因为目标函数可以部分由神经模型参数化,部分由领域专家模型微分处理。通过优化器进行微分,可以保留计算梯度的能力,使得神经模型可以在最终任务损失上得到训练,同时还能够从优化器中所捕获的先验中获益。

核心特点

应用无关的接口

Theseus 实现了一个易用的接口,可用于构建自定义优化层并将其插入到任意神经架构中。目前支持的可微分特性包括:

  • 二阶非线性优化器,如 Gauss-Newton (GN)、Levenberg–Marquardt (LM)、信赖域法和狗腿法。
  • 其他非线性优化器,如交叉熵法 (CEM)。
  • 线性求解器,支持稠密(如 Cholesky, LU)和稀疏(如 CHOLMOD, LU(仅限 GPU))求解器。
  • 常用的成本函数和自动微分成本函数(AutoDiffCostFunction)、鲁棒成本函数(RobustCostFunction)。
  • 基于 Lie 群的几何学和机器人运动学。

基于效率的设计

Theseus 提供了许多提高计算速度和减少内存消耗的特性:

  • 稀疏线性求解器的支持。
  • 批处理和 GPU 加速。
  • 自动向量化。
  • 各种反向传播模式,如隐式、截断、直接损失最小化(DLM)和采样(LEO)。

入门指南

前置条件

强烈建议在 venv 或 conda 环境中安装 Theseus,支持 Python 3.8 至 3.10。安装 Theseus 之前需确保已安装 torch

安装方法

从 PyPI 安装

pip install theseus-ai

更多 CUDA 版本的支持可从源码安装或使用构建脚本。

从源码安装

可通过以下命令从源码安装 Theseus:

git clone https://github.com/facebookresearch/theseus.git && cd theseus pip install -e .

如需 BaSpaCho 扩展支持,请参照具体安装步骤。

示例

Theseus 提供了简单的示例代码展示了如何用 Theseus 层通过 Adams 优化器和 MSE 损失函数学习 x 参数。更多教程及示例可以参考项目中的相关文档。

引用 Theseus

如果在您的工作中使用到 Theseus,请引用其论文。

许可

Theseus 采用 MIT 许可证。详细信息见项目中的许可证文件。

其他信息

希望加入 Theseus 社区、报告问题或帮助改进项目的朋友可以通过 GitHub 上的讨论区、问题跟踪系统和贡献指南参与进来。

编辑推荐精选

Vora

Vora

免费创建高清无水印Sora视频

Vora是一个免费创建高清无水印Sora视频的AI工具

Refly.AI

Refly.AI

最适合小白的AI自动化工作流平台

无需编码,轻松生成可复用、可变现的AI自动化工作流

酷表ChatExcel

酷表ChatExcel

大模型驱动的Excel数据处理工具

基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。

AI工具酷表ChatExcelAI智能客服AI营销产品使用教程
TRAE编程

TRAE编程

AI辅助编程,代码自动修复

Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。

AI工具TraeAI IDE协作生产力转型热门
AIWritePaper论文写作

AIWritePaper论文写作

AI论文写作指导平台

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

AI辅助写作AI工具AI论文工具论文写作智能生成大纲数据安全AI助手热门
博思AIPPT

博思AIPPT

AI一键生成PPT,就用博思AIPPT!

博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。

AI办公办公工具AI工具博思AIPPTAI生成PPT智能排版海量精品模板AI创作热门
潮际好麦

潮际好麦

AI赋能电商视觉革命,一站式智能商拍平台

潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。

iTerms

iTerms

企业专属的AI法律顾问

iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。

SimilarWeb流量提升

SimilarWeb流量提升

稳定高效的流量提升解决方案,助力品牌曝光

稳定高效的流量提升解决方案,助力品牌曝光

Sora2视频免费生成

Sora2视频免费生成

最新版Sora2模型免费使用,一键生成无水印视频

最新版Sora2模型免费使用,一键生成无水印视频

下拉加载更多