Theseus

Theseus 由 Meta AI 开源，把非线性优化做得可微分且高效，常用于需要把优化嵌入训练流程的机器人感知与规划任务。