Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages

Daniel Lundén, Johannes Borgström, David Broman

Probabilistic programming is an approach to reasoning under uncertainty by encoding inference problems as programs. In order to solve these inference problems, probabilistic progra…