Guaranteed bounds for posterior inference in universal probabilistic programming.

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

Browse the full PLDI paper archive.