research
∙
07/14/2023
Exact Bayesian Inference for Loopy Probabilistic Programs
We present an exact Bayesian inference method for inferring posterior di...
share
research
∙
02/01/2023
Exact Probabilistic Inference Using Generating Functions
Probabilistic programs are typically normal-looking programs describing ...
research
∙
05/03/2022
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
We study discrete probabilistic programs with potentially unbounded loop...
research
∙
07/13/2020
