research
∙
07/24/2023
Template-Based Static Posterior Inference for Bayesian Probabilistic Programming
In Bayesian probabilistic programming, a central problem is to estimate ...
share
research
∙
05/26/2023
Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach
We present an exact Bayesian inference method for discrete statistical m...
research
∙
11/02/2022
Nonparametric Involutive Markov Chain Monte Carlo
A challenging problem in probabilistic programming is to develop inferen...
research
∙
04/06/2022
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
We propose a new method to approximate the posterior distribution of pro...
research
∙
06/18/2021
Nonparametric Hamiltonian Monte Carlo
Probabilistic programming uses programs to express generative models who...
research
∙
06/09/2021
Expectation Programming
Building on ideas from probabilistic programming, we introduce the conce...
research
∙
04/29/2021
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses
We present initial limit Datalog, a new extensible class of constrained ...
research
∙
04/11/2021
On Probabilistic Termination of Functional Programs with Continuous Distributions
We study termination of higher-order probabilistic functional programs w...
research
∙
02/22/2021
Supermartingales, Ranking Functions and Probabilistic Lambda Calculus
We introduce a method for proving almost sure termination in the context...
research
∙
02/19/2020
A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
Building on the observation that reverse-mode automatic differentiation ...
research
∙
11/14/2018