Edward Lockhart

Identifiers

• name variant Edward Lockhart 0.60 · backfill

Papers (7)

1. LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks cs.AI · 2026 · author #8
2. Advancing Mathematics Research with AI-Driven Formal Proof Search cs.AI · 2026 · author #16
3. Mastering Atari, Go, Chess and Shogi by Planning with a Learned Model cs.LG · 2019 · author #8
4. Consistent Generative Query Networks cs.CV · 2018 · author #6
5. Relational Deep Reinforcement Learning cs.LG · 2018 · author #10
6. Efficient Neural Audio Synthesis cs.SD · 2018 · author #6
7. Parallel WaveNet: Fast High-Fidelity Speech Synthesis cs.LG · 2017 · author #8

Mentions

• 2606.03303 #8 · arxiv_oai · confidence 0.70 Edward Lockhart
• 2605.22763 #16 · arxiv_oai · confidence 0.70 Edward Lockhart
• 1911.08265 #8 · arxiv_oai · confidence 0.70 Edward Lockhart

Frequent Coauthors

• Karen Simonyan 3 shared papers
• Aaron van den Oord 2 shared papers
• Demis Hassabis 2 shared papers
• Erich Elsen 2 shared papers
• Florian Stimberg 2 shared papers
• Igor Babuschkin 2 shared papers
• Koray Kavukcuoglu 2 shared papers
• Murray Shanahan 2 shared papers
• Nal Kalchbrenner 2 shared papers
• Norman Casagrande 2 shared papers
• Oriol Vinyals 2 shared papers
• Sander Dieleman 2 shared papers
• Seb Noury 2 shared papers
• Thomas Hubert 2 shared papers
• Timothy Lillicrap 2 shared papers
• Adam Santoro 1 shared papers
• Adam Zsolt Wagner 1 shared papers
• Aja Huang 1 shared papers
• Alex Graves 1 shared papers
• Ananya Kumar 1 shared papers