Katoen, Joost-Pieter

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions

2023 · arXiv (Cornell University)

We present an exact Bayesian inference method for inferring posterior distributions encoded by probabilistic programs featuring possibly unbounded loops. Our method is built on a denotational semantics represented by probability generating functions, which resolves semantic …