Theseus: A Library for Differentiable Nonlinear Optimization Luis Pineda 1, T aosha Fan