Deterministic stream-sampling for probabilistic programming: semantics and verification

Fredrik Dahlqvist, Alexandra Silva, William Smith

Probabilistic programming languages rely fundamentally on some notion of sampling, and this is doubly true for probabilistic programming languages which perform Bayesian inference…