Project Icon

theseus

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

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

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 上的讨论区、问题跟踪系统和贡献指南参与进来。

项目侧边栏1项目侧边栏2
推荐项目
Project Cover

豆包MarsCode

豆包 MarsCode 是一款革命性的编程助手,通过AI技术提供代码补全、单测生成、代码解释和智能问答等功能,支持100+编程语言,与主流编辑器无缝集成,显著提升开发效率和代码质量。

Project Cover

AI写歌

Suno AI是一个革命性的AI音乐创作平台,能在短短30秒内帮助用户创作出一首完整的歌曲。无论是寻找创作灵感还是需要快速制作音乐,Suno AI都是音乐爱好者和专业人士的理想选择。

Project Cover

有言AI

有言平台提供一站式AIGC视频创作解决方案,通过智能技术简化视频制作流程。无论是企业宣传还是个人分享,有言都能帮助用户快速、轻松地制作出专业级别的视频内容。

Project Cover

Kimi

Kimi AI助手提供多语言对话支持,能够阅读和理解用户上传的文件内容,解析网页信息,并结合搜索结果为用户提供详尽的答案。无论是日常咨询还是专业问题,Kimi都能以友好、专业的方式提供帮助。

Project Cover

阿里绘蛙

绘蛙是阿里巴巴集团推出的革命性AI电商营销平台。利用尖端人工智能技术,为商家提供一键生成商品图和营销文案的服务,显著提升内容创作效率和营销效果。适用于淘宝、天猫等电商平台,让商品第一时间被种草。

Project Cover

吐司

探索Tensor.Art平台的独特AI模型,免费访问各种图像生成与AI训练工具,从Stable Diffusion等基础模型开始,轻松实现创新图像生成。体验前沿的AI技术,推动个人和企业的创新发展。

Project Cover

SubCat字幕猫

SubCat字幕猫APP是一款创新的视频播放器,它将改变您观看视频的方式!SubCat结合了先进的人工智能技术,为您提供即时视频字幕翻译,无论是本地视频还是网络流媒体,让您轻松享受各种语言的内容。

Project Cover

美间AI

美间AI创意设计平台,利用前沿AI技术,为设计师和营销人员提供一站式设计解决方案。从智能海报到3D效果图,再到文案生成,美间让创意设计更简单、更高效。

Project Cover

稿定AI

稿定设计 是一个多功能的在线设计和创意平台,提供广泛的设计工具和资源,以满足不同用户的需求。从专业的图形设计师到普通用户,无论是进行图片处理、智能抠图、H5页面制作还是视频剪辑,稿定设计都能提供简单、高效的解决方案。该平台以其用户友好的界面和强大的功能集合,帮助用户轻松实现创意设计。

投诉举报邮箱: service@vectorlightyear.com
@2024 懂AI·鲁ICP备2024100362号-6·鲁公网安备37021002001498号