Theseus: A library for differentiable nonlinear optimizationsites.google.com2 pointspattusk4 years ago