5 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Matthijs Vákár, Tom Smeding
We introduce Combinatory Homomorphic Automatic Differentiation (CHAD), a principled, pure, provably correct define-then-run method for performing forward- and reverse-mode automati…