Aja Huang

Identifiers

• name variant Aja Huang 0.60 · backfill

Papers (3)

1. Advancing Mathematics Research with AI-Driven Formal Proof Search cs.AI · 2026 · author #12
2. Bayesian Optimization in AlphaGo cs.LG · 2018 · author #2
3. Move Evaluation in Go Using Deep Convolutional Neural Networks cs.LG · 2014 · author #2

Mentions

• 2605.22763 #12 · arxiv_oai · confidence 0.70 Aja Huang

Frequent Coauthors

• David Silver 2 shared papers
• Adam Zsolt Wagner 1 shared papers
• Andrew Ferrauiolo 1 shared papers
• Anja Surina 1 shared papers
• Anton Kovsharov 1 shared papers
• Arun Suggala 1 shared papers
• Chris J. Maddison 1 shared papers
• Codrut Grosu 1 shared papers
• Eric Wieser 1 shared papers
• Francisco J. R. Ruiz 1 shared papers
• George Tsoukalas 1 shared papers
• Gergely B\'erczi 1 shared papers
• Henryk Michalewski 1 shared papers
• Ilya Sutskever 1 shared papers
• Ioannis Antonoglou 1 shared papers
• Julian Schrittwieser 1 shared papers
• Lei Yu 1 shared papers
• Matej Balog 1 shared papers
• Mikl\'os Z. Horv\'ath 1 shared papers
• Moritz Firsching 1 shared papers