Henryk Michalewski
Scholar

Henryk Michalewski

Google Scholar ID: YdHW1ycAAAAJ
Google
Language modelsReinforcement LearningLogic
Google Scholar↗
Citations & Impact
All-time
Citations
28,974
 
H-index
29
 
i10-index
50
 
Publications
20
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
2 items
Advancing Mathematics Research with AI-Driven Formal Proof Search
2026
Cited
0
Towards Robust Mathematical Reasoning
2025
Cited
0
Resume (English only)
Co-authors
11 total
Piotr Miłoś
Piotr Miłoś
Google, University of Warsaw, Polish Academy of Sciences
Łukasz Kaiser
Łukasz Kaiser
OpenAI & CNRS
Sergey Levine
Sergey Levine
UC Berkeley, Physical Intelligence
Michał Skrzypczak
Michał Skrzypczak
Uniwersytet Warszawski
Cezary Kaliszyk
Cezary Kaliszyk
Professor, University of Melbourne
Josef Urban
Josef Urban
Distinguished Researcher at Czech Technical University in Prague
Co-author 7
Co-author 7
Co-author 8
Co-author 8