Henryk Michalewski
Source-listed: Senior Staff Research Scientist · Google DeepMind
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
5- Olympiad-Level Formal Mathematical Reasoning with Reinforcement LearningSaved credit: Contributor · 2025Explore people connected to this work →
- PaLM: Scaling Language Modeling with PathwaysSaved credit: Contributor · 2022Explore people connected to this work →
- Solving Quantitative Reasoning Problems with Language ModelsSaved credit: Contributor · 2022Explore people connected to this work →
- Show Your Work: Scratchpads for Intermediate Computation with Language ModelsSaved credit: Contributor · 2021Explore people connected to this work →
- Program Synthesis with Large Language ModelsSaved credit: Contributor · 2021Explore people connected to this work →