Statistics
Publications
6
Citations
712
H-Index
6
Active since
2003
Affiliations
University of California, Berkeley(Current)
Daniel Huang is an author at University of California, Berkeley specializing in engineering, computer science, and formal methods.
Publications per year
2003–2023
6
6
GamePad: A Learning Environment for Theorem Proving
Daniel Huang, Prafulla Dhariwal, Dawn Song et al. · arXiv (Cornell University) · 2018 · 34 citations · Full text
Artificial Intelligence, Coq Proof Assistant, Engineering +14
1–5 of 6