A Simple Differentiable Programming Language

11 November 2019

Papers citing "A Simple Differentiable Programming Language"

16 / 16 papers shown

Title
Integrating Physics-Informed Deep Learning and Numerical Methods for Robust Dynamics Discovery and Parameter Estimation Caitlin Ho Andrea Arnold AI4CE PINN 34 0 0 05 Oct 2024
Smoothing Methods for Automatic Differentiation Across Conditional Branches J. N. Kreikemeyer Philipp Andelfinger 41 6 0 05 Oct 2023
Auto-Differentiation of Relational Computations for Very Large Scale Machine Learning Yu-Shuen Tang Zhimin Ding Dimitrije Jankov Binhang Yuan Daniel Bourgeois C. Jermaine BDL 24 6 0 31 May 2023
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters Wonyeol Lee Sejun Park A. Aiken PINN 13 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 16 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 14 20 0 13 Dec 2022
Differentiable Quantum Programming with Unbounded Loops Wang Fang Mingsheng Ying Xiaodi Wu 14 1 0 08 Nov 2022
On Reinforcement Learning, Effect Handlers, and the State Monad Ugo Dal Lago Francesco Gavazzo Alexis Ghyselen 21 1 0 29 Mar 2022
Differentiable Physics: A Position Piece Bharath Ramsundar Dilip Krishnamurthy V. Viswanathan PINN AI4CE 40 14 0 14 Sep 2021
Opening the Blackbox: Accelerating Neural Differential Equations by Regularizing Internal Solver Heuristics Avik Pal Yingbo Ma Viral B. Shah Chris Rackauckas 28 36 0 09 May 2021
Type-driven Neural Programming by Example Kiara Grouwstra NAI 14 1 0 28 Aug 2020
Differentiating a Tensor Language Gilbert Bernstein Michael Mara Tzu-Mao Li D. Maclaurin Jonathan Ragan-Kelley 26 13 0 25 Aug 2020
Smart Choices and the Selection Monad M. Abadi G. Plotkin 10 3 0 17 Jul 2020
On Correctness of Automatic Differentiation for Non-Differentiable Functions Wonyeol Lee Hangyeol Yu Xavier Rival Hongseok Yang 15 40 0 12 Jun 2020
On the Principles of Differentiable Quantum Programming Languages Shaopeng Zhu S. Hung Shouvanik Chakrabarti Xiaodi Wu 11 7 0 02 Apr 2020
A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation Carol Mak C.-H. Luke Ong 11 10 0 19 Feb 2020