Follow
Carol Mak
Title
Cited by
Cited by
Year
Densities of almost surely terminating probabilistic programs are differentiable almost everywhere
C Mak, CHL Ong, H Paquet, D Wagner
Programming Languages and Systems 12648, 432, 2021
232021
A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
C Mak, L Ong
arXiv preprint arXiv:2002.08241, 2020
112020
Nonparametric Hamiltonian Monte Carlo
C Mak, F Zaiser, L Ong
arXiv preprint arXiv:2106.10238, 2021
82021
The system can't perform the operation now. Try again later.
Articles 1–3