Backpropagation in the Simply Typed Lambda-calculus with Linear Negation

27 September 2019

Papers citing "Backpropagation in the Simply Typed Lambda-calculus with Linear Negation"

4 / 4 papers shown

Title
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters Wonyeol Lee Sejun Park A. Aiken PINN 18 6 0 31 Jan 2023
Efficient and Sound Differentiable Programming in a Functional Array-Processing Language Amir Shaikhha Mathieu Huot Shabnam Ghasemirad Andrew Fitzgibbon S. Jones Dimitrios Vytiniotis 21 1 0 20 Dec 2022
Functorial String Diagrams for Reverse-Mode Automatic Differentiation Mario Alvarez-Picallo D. Ghica David Sprunger Fabio Zanasi 16 16 0 28 Jul 2021
Smart Choices and the Selection Monad M. Abadi G. Plotkin 17 3 0 17 Jul 2020