52 citations · 52 across the 1 of their papers we have counts for
3 papers
cs.LO2020
A complete equational axiomatisation of partial differentiation
Gordon D. Plotkin
We formalise the well-known rules of partial differentiation in a version of equational logic with function variables and binding constructs. We prove the resulting theory is compl…
cs.PL2019★ 52 cited
A Simple Differentiable Programming Language
Martin Abadi, Gordon D. Plotkin
Automatic differentiation plays a prominent role in scientific computing and in modern machine learning, often in the context of powerful programming systems. The relation of the v…
cs.LO2019
Reverse derivative categories
Robin Cockett, Geoffrey Cruttwell, Jonathan Gallagher +4
The reverse derivative is a fundamental operation in machine learning and automatic differentiation. This paper gives a direct axiomatization of a category with a reverse derivativ…