@misc{indiciae31a45e436cb5,
  title = {Verifying Handcoded Probabilistic Inference Procedures},
  author = {Eric Atkinson and Cambridge Yang and Michael Carbin},
  year = {2018},
  url = {https://arxiv.org/abs/1805.01863},
  note = {Source identifier: 1805.01863}
}