TY - RPRT TI - Compositional Inference Metaprogramming with Convergence Guarantees AU - Shivam Handa AU - Vikash Mansinghka AU - Martin Rinard PY - 2019 UR - https://arxiv.org/abs/1907.05451 ID - 1907.05451 ER -