Compositional Semantics for Probabilistic Programs with Exact Conditioning

Dario Stein, Sam Staton

We define a probabilistic programming language for Gaussian random variables with a first-class exact conditioning construct. We give operational, denotational and equational seman…