Skip to main content

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

Mathieu Huot‚ Sam Staton and Matthijs Vákár

Journal
CoRR
Volume
abs/2001.02209
Year
2020