Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Daniel Huang

On Learning to Prove

Apr 26, 2019
Daniel Huang

* Preprint 

  Access Paper or Ask Questions

GamePad: A Learning Environment for Theorem Proving

Jun 02, 2018
Daniel Huang, Prafulla Dhariwal, Dawn Song, Ilya Sutskever

  Access Paper or Ask Questions

Augur: a Modeling Language for Data-Parallel Probabilistic Inference

Jun 10, 2014
Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti, Adam Pocock, Stephen J. Green, Guy L. Steele Jr

  Access Paper or Ask Questions