Scholar
Thomas Hubert
Google Scholar ID: WXG0QfMAAAAJ
Google Deepmind
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
29,211
H-index
17
i10-index
17
Publications
20
Co-authors
0
Publications
2 items
Advancing Mathematics Research with AI-Driven Formal Proof Search
2026
Cited
0
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
2026
Cited
0
