17 citations · 59 across the 17 of their papers we have counts for
1 paper · 1 filter
Mathieu Huot, Sam Staton, Matthijs Vákár
We present semantic correctness proofs of Automatic Differentiation (AD). We consider a forward-mode AD method on a higher order language with algebraic data types, and we characte…