We develop an algorithm for automatic differentiation of Metropolis-Hast...
A single panel of a comic book can say a lot: it shows not only where
ch...
Great storytellers know how to take us on a journey. They direct charact...
We design new visual illusions by finding "adversarial examples" for
pri...
Working with any gradient-based machine learning algorithm involves the
...
We consider the task of mapping pseudocode to long programs that are
fun...
We describe algorithms for symbolic reasoning about executable models of...