Guaranteed bounds for posterior inference in universal probabilistic programming

Raven Beutner, C.-H. Luke Ong, Fabian Zaiser