Thomas Hubert

Identifiers

• name variant Thomas Hubert 0.60 · backfill

Papers (5)

1. Advancing Mathematics Research with AI-Driven Formal Proof Search cs.AI · 2026 · author #17
2. Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics cs.AI · 2026 · author #9
3. Competition-Level Code Generation with AlphaCode cs.PL · 2022 · author #11
4. Mastering Atari, Go, Chess and Shogi by Planning with a Learned Model cs.LG · 2019 · author #3
5. Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm cs.AI · 2017 · author #2

Mentions

• 2605.22763 #17 · arxiv_oai · confidence 0.70 Thomas Hubert
• 2203.07814 #11 · arxiv_oai · confidence 0.70 Thomas Hubert
• 1911.08265 #3 · arxiv_oai · confidence 0.70 Thomas Hubert

Frequent Coauthors

• Julian Schrittwieser 3 shared papers
• Pushmeet Kohli 3 shared papers
• Arthur Guez 2 shared papers
• David Silver 2 shared papers
• Demis Hassabis 2 shared papers
• Eric Wieser 2 shared papers
• Ioannis Antonoglou 2 shared papers
• Karen Simonyan 2 shared papers
• Laurent Sifre 2 shared papers
• Mikl\'os Z. Horv\'ath 2 shared papers
• Moritz Firsching 2 shared papers
• Thore Graepel 2 shared papers
• Timothy Lillicrap 2 shared papers
• Adam Zsolt Wagner 1 shared papers
• Agustin Dal Lago 1 shared papers
• Aja Huang 1 shared papers
• Alexey Cherepanov 1 shared papers
• Andrew Ferrauiolo 1 shared papers
• Anja Surina 1 shared papers
• Anton Kovsharov 1 shared papers