Scholar
Henryk Michalewski
Google Scholar ID: YdHW1ycAAAAJ
Google
Language models
Reinforcement Learning
Logic
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
28,974
H-index
29
i10-index
50
Publications
20
Co-authors
11
list available
Publications
2 items
Advancing Mathematics Research with AI-Driven Formal Proof Search
2026
Cited
0
Towards Robust Mathematical Reasoning
2025
Cited
0
Co-authors
7 total
Piotr Miłoś
Google, University of Warsaw, Polish Academy of Sciences
Łukasz Kaiser
OpenAI & CNRS
Sergey Levine
UC Berkeley, Physical Intelligence
Michał Skrzypczak
Uniwersytet Warszawski
Cezary Kaliszyk
Professor, University of Melbourne
Josef Urban
Distinguished Researcher at Czech Technical University in Prague
Damian Niwinski
Professor of Computer Science, University of Warsaw
