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"

6 / 6 papers shown

Title
$ω$ PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs Mathieu Huot Alexander K. Lew Vikash K. Mansinghka S. Staton 25 5 0 21 Feb 2023
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters Wonyeol Lee Sejun Park A. Aiken PINN 21 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 26 1 0 20 Dec 2022
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs Alexander K. Lew Mathieu Huot S. Staton Vikash K. Mansinghka 22 20 0 13 Dec 2022
Functorial String Diagrams for Reverse-Mode Automatic Differentiation Mario Alvarez-Picallo D. Ghica David Sprunger Fabio Zanasi 32 17 0 28 Jul 2021
Smart Choices and the Selection Monad M. Abadi G. Plotkin 31 3 0 17 Jul 2020