TY - RPRT TI - Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming AU - Raven Beutner AU - Luke Ong AU - Fabian Zaiser PY - 2022 UR - https://arxiv.org/abs/2204.02948 ID - 2204.02948 ER -