TY - RPRT TI - Stochastic Probabilistic Programs AU - David Tolpin AU - Tomer Dobkin PY - 2020 UR - https://arxiv.org/abs/2001.02656 ID - 2001.02656 ER -