TY  - RPRT
TI  - Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
AU  - Carol Mak
AU  - C. -H. Luke Ong
AU  - Hugo Paquet
AU  - Dominik Wagner
PY  - 2021
DO  - 10.1007/978-3-030-72019-3_16
UR  - https://arxiv.org/abs/2004.03924
ID  - 2004.03924
ER  -