v1v2v3 (latest)

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

19 January 2016

Papers citing "Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints"

20 / 20 papers shown

Title
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains Pedro Zuidberg Dos Martires Luc de Raedt Angelika Kimmig 94 4 0 21 Feb 2023
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing Basim Khajwal C.-H. Luke Ong Dominik Wagner 25 4 0 09 Jan 2023
Nonparametric Involutive Markov Chain Monte Carlo Carol Mak Fabian Zaiser C. Ong 65 1 0 02 Nov 2022
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference Wonyeol Lee Xavier Rival Hongseok Yang 96 10 0 22 Aug 2022
Higher-Order Generalization Bounds: Learning Deep Probabilistic Programs via PAC-Bayes Objectives J. Warrell M. Gerstein GP 49 1 0 30 Mar 2022
A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems J. Warrell A. Potapov Adam Vandervorst B. Goertzel 13 0 0 30 Mar 2022
Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism A. Benveniste Jean-Baptiste Raclet TPM 52 1 0 19 Jan 2022
Expectation Programming: Adapting Probabilistic Programming Systems to Estimate Expectations Efficiently Tim Reichelt Adam Goliñski C.-H. Luke Ong Tom Rainforth TPM 60 0 0 09 Jun 2021
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs I. Hasuo Yuichiro Oyabu Clovis Eberhart Kohei Suenaga Kenta Cho Shin-ya Katsumata TPM 43 3 0 05 Jan 2021
Finding the maximum-a-posteriori behaviour of agents in an agent-based model Daniel Tang 45 1 0 05 May 2020
Optimal Approximate Sampling from Discrete Probability Distributions Feras A. Saad Cameron E. Freer Martin Rinard Vikash K. Mansinghka 15 9 0 13 Jan 2020
Towards Verified Stochastic Variational Inference for Probabilistic Programs Wonyeol Lee Hangyeol Yu Xavier Rival Hongseok Yang 70 26 0 20 Jul 2019
Deployable probabilistic programming David Tolpin TPM 104 7 0 20 Jun 2019
Hijacking Malaria Simulators with Probabilistic Programming Bradley Gram-Hansen Christian Schroeder de Witt Tom Rainforth Philip Torr Yee Whye Teh A. G. Baydin 60 8 0 29 May 2019
The Random Conditional Distribution for Higher-Order Probabilistic Inference Zenna Tavares Xin Zhang Edgar Minaysan Javier Burroni Rajesh Ranganath Armando Solar-Lezama 45 9 0 25 Mar 2019
Semantics of higher-order probabilistic programs with conditioning Fredrik Dahlqvist D. Kozen AI4CE 48 51 0 28 Feb 2019
Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic Maria I. Gorinova Andrew D. Gordon Charles Sutton 77 24 0 02 Nov 2018
An Introduction to Probabilistic Programming Jan-Willem van de Meent Brooks Paige Hongseok Yang Frank Wood GP 88 200 0 27 Sep 2018
The Logical Essentials of Bayesian Reasoning B. Jacobs Fabio Zanasi 102 39 0 03 Apr 2018
A Convenient Category for Higher-Order Probability Theory C. Heunen Ohad Kammar S. Staton Hongseok Yang 101 161 0 10 Jan 2017