3 papers
math.NA2026
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…
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…