Parallelizable Feynman-Kac Models for Universal Probabilistic Programming

Michele Boreale, Luisa Collodi

We study provably correct and efficient instantiations of Sequential Monte Carlo (SMC) inference in the context of formal operational semantics of Probabilistic Programs (PPs). We…