@misc{indiciae80dac0806121,
  title = {Automatic Differentiation for ML-family languages: correctness via logical relations},
  author = {Fernando Lucatelli Nunes and Matthijs Vákár},
  year = {2024},
  doi = {10.1017/s0960129524000215},
  url = {https://arxiv.org/abs/2210.07724},
  note = {Source identifier: 2210.07724}
}