S sites.google.com Theseus: A library for differentiable nonlinear optimization 2 points pattusk 4 years ago 1 comments