-
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
Probabilistic programming languages (PPLs) make it possible to reason un...
03/11/2020 ∙ by Daniel Lundén, et al. ∙
0
∙
share
read it
-
Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs
Probabilistic programming is a programming paradigm for expressing flexi...
12/18/2018 ∙ by Daniel Lundén, et al. ∙
0
∙
share
read it
-
Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs
We introduce a dynamic mechanism for the solution of analytically-tracta...
08/25/2017 ∙ by Lawrence M. Murray, et al. ∙
0
∙
share
read it
