Scholar
Adam Zsolt Wagner
Google Scholar ID: JtR3vTMAAAAJ
Google DeepMind
Machine learning
mathematics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
589
H-index
14
i10-index
16
Publications
20
Co-authors
0
Publications
5 items
Advancing Mathematics Research with AI-Driven Formal Proof Search
2026
Cited
0
Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery
2026
Cited
0
Mathematical exploration and discovery at scale
2025
Cited
1
AlphaEvolve: A coding agent for scientific and algorithmic discovery
2025
Cited
11
Drums of high width
2025
Cited
0
