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...
share
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
∙
05/13/2020
The Extended Theory of Trees and Algebraic (Co)datatypes
The first-order theory of finite and infinite trees has been studied sin...
research
∙
09/26/2019