@misc{indiciaece2369e85f77,
  title = {Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing},
  author = {Mathieu Huot and Sam Staton and Matthijs Vákár},
  year = {2020},
  url = {https://arxiv.org/abs/2001.02209},
  note = {Source identifier: 2001.02209}
}