Theseus: A Library for Differentiable Nonlinear Optimization Appendix A Contributions