@misc{indiciaed5d277f261c1,
  title = {Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere},
  author = {Carol Mak and C. -H. Luke Ong and Hugo Paquet and Dominik Wagner},
  year = {2021},
  doi = {10.1007/978-3-030-72019-3\_16},
  url = {https://arxiv.org/abs/2004.03924},
  note = {Source identifier: 2004.03924}
}