5 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…
An implicit function theorem for the stream calculus
Michele Boreale, Luisa Collodi, Daniele Gorla
In the context of the stream calculus, we present an Implicit Function Theorem (IFT) for polynomial systems, and discuss its relations with the classical IFT from calculus. In part…