52 citations · 52 across the 1 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…