Find the people behind AI papers and projects.
/
Search public work, explore its connections, and check the sources. How coverage works
4,006 saved profiles
People connected to this work in our saved records. This may not be the complete contributor list.
Search results
1–4 of 4
- Henryk MichalewskiAffiliation: Google DeepMindWork: Olympiad-Level Formal Mathematical Reasoning with Reinforcement Learning
- Julian SchrittwieserAffiliation: AnthropicWork: Olympiad-level formal mathematical reasoning with reinforcement learning
- Simon SchmittAffiliation: Not recordedWork: Olympiad-Level Formal Mathematical Reasoning with Reinforcement Learning
- Thomas HubertAffiliation: Google DeepMindWork: Olympiad-level formal mathematical reasoning with reinforcement learning