facebookresearch / theseus Python 2.1K 155 A library for differentiable nonlinear optimization differentiable-optimization robotics embodied-ai nonlinear-least-squares