Search Results for author:
Found 2 papers, 1 papers with code
Automatic Differentiation in PCF
We study the correctness of automatic differentiation (AD) in the context of a higher-order, Turing-complete language (PCF with real numbers), both in forward and reverse mode.
Logic in Computer Science
Backpropagation in the Simply Typed Lambda-calculus with Linear Negation
Backpropagation is a classic automatic differentiation algorithm computing the gradient of functions specified by a certain class of simple, first-order programs, called computational graphs.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
