面向机器人的符号计算、代码生成与非线性优化库，能把符号表达式自动生成高效 C++ 代码，用于 SLAM、运动规划等场景。

C++ 图优化通用框架，把 SLAM 和视觉定位里的位姿估计建模成图，用非线性最小二乘求解，是后端优化的经典基础设施。

每天自动汇总 arXiv 上 VLN、VLA、世界模型、SLAM、高斯泼溅与非线性优化等具身智能方向的最新论文，方便快速跟进前沿进展。