17 citations · 59 across the 17 of their papers we have counts for
3 papers · 1 filter
Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages
Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka
Automatic differentiation (AD) aims to compute derivatives of user-defined functions, but in Turing-complete languages, this simple specification does not fully capture AD's behavi…
Functional Collection Programming with Semi-Ring Dictionaries
Amir Shaikhha, Mathieu Huot, Jaclyn Smith +1
This paper introduces semi-ring dictionaries, a powerful class of compositional and purely functional collections that subsume other collection types such as sets, multisets, array…
Higher Order Automatic Differentiation of Higher Order Functions
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 character…