-
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
Probabilistic programming languages (PPLs) make it possible to reason un...
read it
-
Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs
Probabilistic programming is a programming paradigm for expressing flexi...
read it
-
Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs
We introduce a dynamic mechanism for the solution of analytically-tracta...
read it

Daniel Lundén
is this you? claim profile