Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
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…
cs.PL2025
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…