4 papers
On the algebraic analysis of runtime distribution of probabilistic programs
Michele Boreale, Luisa Collodi, Alessandro Pompa Di Gregorio
We present an algebraic method for analyzing probabilistic programs with counters and discrete states, Generalized Constant Probability (GCP) programs. We define the operational se…
New convergence results for Carleman linearization
Michele Boreale, Luisa Collodi
We prove new error bounds for finite Carleman truncations of polynomial ordinary differential equations. The analysis works directly in the original monomial basis and for selected…
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…
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…