Alexander K. Lew Mathieu Huot Sam Staton Vikash K. Mansinghka ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs. 121-153 2023 January 7 Proc. ACM Program. Lang. POPL https://doi.org/10.1145/3571198 https://www.wikidata.org/entity/Q130890426 db/journals/pacmpl/pacmpl7.html#LewHSM23