Edward Lockhart
Source-listed: Researcher · Google DeepMind
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
5- LEAP: Supercharging LLMs for Formal Mathematics with Agentic FrameworksSaved credit: Contributor · 2026Explore people connected to this work →
- Olympiad-level formal mathematical reasoning with reinforcement learningSaved credit: Contributor · 2025Explore people connected to this work →
- Mastering the Game of Stratego with Model-Free Multiagent Reinforcement LearningSaved credit: Contributor · 2022Explore people connected to this work →
- Mastering Atari, Go, Chess and Shogi by Planning with a Learned ModelSaved credit: Contributor · 2020Explore people connected to this work →
- Human-Agent Cooperation in Bridge BiddingSaved credit: First author · 2020Explore people connected to this work →