Fetching the paper…
Reading the bibliography…
We study the differential properties of higher-order statistical probabilistic programs with recursion and conditioning.
A system to generate test data and symbolically execute programs
Lori A. Clarke · 1976
Earlier work this paper cites.
Symbolic execution and program testing
James C. King · 1976
Earlier work this paper cites.
Principles of Mathematical Analysis
Walter Rudin · 1976
Earlier work this paper cites.
Probabilistic lcf
Nasser Saheb-Djahromi · 1978
Earlier work this paper cites.
Semantics of probabilistic programs
Dexter Kozen · 1979
Earlier work this paper cites.
Hybrid monte carlo
S. Duane, A. D. Kennedy, B. J. Pendleton, and D. Roweth · 1987
Earlier work this paper cites.
Relating full abstraction results for different programming languages
Kurt Sieber · 1990
Earlier work this paper cites.
A type-theoretical alternative to ISWIM, CUCH, OWHY
Dana S. Scott · 1993
Earlier work this paper cites.
The differential lambda-calculus
Thomas Ehrhard and Laurent Regnier · 2003
Earlier work this paper cites.
Manifolds and Differential Geometry
Jeffrey M. Lee · 2009
Earlier work this paper cites.
Mcmc using hamiltonian dynamics
Radford M Neal · 2011
Earlier work this paper cites.
An introduction to manifolds
Loring W. Tu · 2011
Earlier work this paper cites.
Lightweight implementations of probabilistic programming languages via transformational compilation
David Wingate, Andreas Stuhlmüller, and Noah D. Goodman · 2011
Earlier work this paper cites.
A type theory for probability density functions
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, and Alexander G. Gray · 2012
Earlier work this paper cites.
Efficiently sampling probabilistic programs via program analysis
Arun Chaganty, Aditya Nori, and Sriram Rajamani · 2013
Earlier work this paper cites.
Stochastic variational inference
Matthew D. Hoffman, David M. Blei, Chong Wang, and John W. Paisley · 2013
Earlier work this paper cites.
An introduction to smooth manifolds
John M. Lee · 2013
Earlier work this paper cites.
Auto-encoding variational bayes
Diederik P. Kingma and Max Welling · 2014
Earlier work this paper cites.
Black box variational inference
Rajesh Ranganath, Sean Gerrish, and David M. Blei · 2014
Earlier work this paper cites.
Black box variational inference
Rajesh Ranganath, Sean Gerrish, and David M. Blei · 2014
Cited alongside, same era.
Stochastic backpropagation and approximate inference in deep generative models
Danilo Jimenez Rezende, Shakir Mohamed, and Daan Wierstra · 2014
Cited alongside, same era.
Doubly stochastic variational bayes for non-conjugate inference
Michalis K. Titsias and Miguel Lázaro-Gredilla · 2014
Cited alongside, same era.
A provably correct sampler for probabilistic programs
Chung-Kil Hur, Aditya V Nori, Sriram K Rajamani, and Selva Samuel · 2015
Cited alongside, same era.
Automatic variational inference in stan
Alp Kucukelbir, Rajesh Ranganath, Andrew Gelman, and David M. Blei · 2015
Cited alongside, same era.
A lambda-calculus foundation for universal probabilistic programming
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, and Marcin Szymczak · 2016
Cited alongside, same era.
Gen: a general-purpose probabilistic programming system with programmable inference
Marco F. Cusumano-Towner, Feras A. Saad, Alexander K. Lew, and Vikash K. Mansinghka · 2019
Later among the works it cites.
On the hardness of analyzing probabilistic programs
Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja · 2019
Later among the works it cites.
Trace types and denotational semantics for sound programmable inference in probabilistic languages
Alexander K Lew, Marco F Cusumano-Towner, Benjamin Sherman, Michael Carbin, and Vikash K Mansinghka · 2019
Later among the works it cites.
A domain theory for statistical probabilistic programming
Matthijs Vákár, Ohad Kammar, and Sam Staton · 2019
Later among the works it cites.
Some semantic issues in probabilistic programming languages (invited talk)
Hongseok Yang · 2019
Later among the works it cites.
LF-PPL: A low-level first order probabilistic programming language for non-differentiable models
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Deriving a probability density calculator (functional pearl)
Wazim Mohammed Ismail and Chung-chieh Shan · 2016
Cited alongside, same era.
Problems of the Lightweight Implementation of Probabilistic Programming
Oleg Kiselyov · 2016
Cited alongside, same era.
Deriving probability density functions from probabilistic functional programs
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, and Claudio V. Russo · 2017
Cited alongside, same era.
Variational inference: A review for statisticians
David M Blei, Alp Kucukelbir, and Jon D McAuliffe · 2017
Cited alongside, same era.
Contextual equivalence for probabilistic programs with continuous random variables and scoring
Ryan Culpepper and Andrew Cobb · 2017
Cited alongside, same era.
Denotational validation of higher-order bayesian inference
Adam Ścibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K Moss, Chris Heunen, and Zoubin Ghahramani · 2017
Cited alongside, same era.
Yuan Zhou, Bradley J. Gram-Hansen, Tobias Kohn, Tom Rainforth, Hongseok Yang, and Frank Wood · 2019
Later among the works it cites.
On the versatility of open logical relations
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, and Francesco Gavazzo · 2020
Closest in time.
A mathematical model for automatic differentiation in machine learning
Jérôme Bolte and Edouard Pauwels · 2020
Closest in time.
Backpropagation in the simply typed lambda-calculus with linear negation
Aloïs Brunel, Damiano Mazza, and Michele Pagani · 2020
Closest in time.
Correctness of automatic differentiation via diffeologies and categorical gluing
Mathieu Huot, Sam Staton, and Matthijs Vákár · 2020
Closest in time.
On correctness of automatic differentiation for non-differentiable functions
Wonyeol Lee, Hangyeol Yu, Xavier Rival, and Hongseok Yang · 2020
Closest in time.
Towards verified stochastic variational inference for probabilistic programs
Wonyeol Lee, Hangyeol Yu, Xavier Rival, and Hongseok Yang · 2020
Closest in time.
Densities of almost-surely terminating probabilistic programs are differentiable almost everywhere
Carol Mak, C.-H. Luke Ong, Hugo Paquet, and Dominik Wagner · 2020
Closest in time.
Symbolic disintegration with a variety of base measures
Praveen Narayanan and Chung-chieh Shan · 2020
Closest in time.
Discontinuous hamiltonian monte carlo for discrete parameters and discontinuous likelihoods
Akihiko Nishimura, David B Dunson, and Jianfeng Lu · 2020
Closest in time.
Discontinuous Hamiltonian Monte Carlo for discrete parameters and discontinuous likelihoods
Akihiko Nishimura, David B Dunson, and Jianfeng Lu · 2020
Closest in time.
Divide, conquer, and combine: a new inference strategy for probabilistic programs with stochastic support
Yuan Zhou, Hongseok Yang, Yee Whye Teh, and Tom Rainforth · 2020
Closest in time.
Automatic differentiation in PCF
Damiano Mazza and Michele Pagani · 2021
Closest in time.