Scholar
Pushmeet Kohli
Google Scholar ID: 3pyzQQ8AAAAJ
DeepMind
AI for Science
Machine Learning
AI Safety
Computer Vision
Program Synthesis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
118,986
H-index
99
i10-index
252
Publications
20
Co-authors
212
list available
Publications
15 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
AI Co-Mathematician: Accelerating Mathematicians with Agentic AI
2026
Cited
0
CoDaS: AI Co-Data-Scientist for Biomarker Discovery via Wearable Sensors
2026
Cited
0
An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent
2026
Cited
0
CSLib: The Lean Computer Science Library
2026
Cited
0
A scalable and real-time neural decoder for topological quantum codes
2025
Cited
0
AlphaEarth Foundations: An embedding field model for accurate and efficient global mapping from sparse label data
2025
Cited
0
Load more
Co-authors
15 total
Jamie Shotton
Wayve
Philip Torr
Professor, University of Oxford
David Kim
Staff Software Engineer at Google
Otmar Hilliges
Professor of Computer Science, ETH Zurich
Carsten Rother
Professor Uni Heidelberg / Germany
Steve Hodges
Lancaster University 📄= pub; 💡= patent ; 🏆/🏅= award
Toby Sharp
Lead Software Architect, Google
Cem Keskin
Principal Research Scientist, Reality Labs, Meta
