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