3 ms·Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing2 points by adamnemecek 7y ago