Verifying Handcoded Probabilistic Inference Procedures

Eric Atkinson, Cambridge Yang, Michael Carbin

Researchers have recently proposed several systems that ease the process of performing Bayesian probabilistic inference. These include systems for automatic inference algorithm syn…