Probabilistic Programming with Exact Conditions

Dario Stein, Sam Staton

We spell out the paradigm of exact conditioning as an intuitive and powerful way of conditioning on observations in probabilistic programs. This is contrasted with likelihood-based…