Pushmeet Kohli
Scholar

Pushmeet Kohli

Google Scholar ID: 3pyzQQ8AAAAJ
DeepMind
AI for ScienceMachine LearningAI SafetyComputer VisionProgram Synthesis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
118,986
 
H-index
99
 
i10-index
252
 
Publications
20
 
Co-authors
212
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
212 total
Jamie Shotton
Jamie Shotton
Wayve
Co-author 2
Co-author 2
Philip Torr
Philip Torr
Professor, University of Oxford
David Kim
David Kim
Staff Software Engineer at Google
Otmar Hilliges
Otmar Hilliges
Professor of Computer Science, ETH Zurich
Co-author 6
Co-author 6
Carsten Rother
Carsten Rother
Professor Uni Heidelberg / Germany
Steve Hodges
Steve Hodges
Lancaster University       📄= pub; 💡= patent ; 🏆/🏅= award