Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures

Francesca Randone, Luca Bortolussi, Emilio Incerto +1

Computing the posterior distribution of a probabilistic program is a hard task for which no one-fit-for-all solution exists. We propose Gaussian Semantics, which approximates the e…