2 citations · 3 across the 12 of their papers we have counts for
1 paper · 1 filter
Aaron Biggin, Jean-Simon Pacaud Lemay
Reverse differentiation is an essential operation for automatic differentiation. Cartesian reverse differential categories axiomatize reverse differentiation in a categorical frame…