Probabilistic programming with exact conditions (Journal of the ACM, 2024)

(untitled) - Stein, D; Staton, S