Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops

Markus Böck, Jürgen Cito

It is commonly known that any Bayesian network can be implemented as a probabilistic program, but the reverse direction is not so clear. In this work, we address the open question…