NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (3)

cs.AI2019

On Learning to Prove

Daniel Huang

cs.LG2018

GamePad: A Learning Environment for Theorem Proving

Daniel Huang, Prafulla Dhariwal, Dawn Song +1

stat.ML2014

Augur: a Modeling Language for Data-Parallel Probabilistic Inference

Jean-Baptiste Tristan, Daniel Huang, Joseph Tassarotti +3