Harri Edwards

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Theorem Proving

Multi Agent Environments

Top Venues

Publications

Jan Hendrik Kirchner, Yining Chen, Harri Edwards, Jan Leike, Nat McAleese, Yuri Burda
Prover-Verifier Games improve legibility of LLM outputs. CoRR (2024)
Ingmar Kanitscheider, Harri Edwards
AutoDIME: Automatic Design of Interesting Multi-Agent Environments. CoRR (2022)