Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
Mathieu Huot‚ Sam Staton and Matthijs Vákár
Journal
arXiv preprint arXiv:2001.02209
Year
2020
Mathieu Huot‚ Sam Staton and Matthijs Vákár