Carol Mak

is this you? claim profile

Featured Co-authors

C. -H. Luke Ong
10 publications
Dominik Wagner
2 publications
Luke Ong
2 publications
Hugo Paquet
1 publication

Densities of almost-surely terminating probabilistic programs are differentiable almost everywhere

We study the differential properties of higher-order statistical probabi...
04/08/2020 ∙ by Carol Mak, et al. ∙ 0 ∙ share

read it
A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation

Building on the observation that reverse-mode automatic differentiation ...
02/19/2020 ∙ by Carol Mak, et al. ∙ 0 ∙ share

read it