Prover-Verifier Games improve legibility of LLM outputs.

Jan Hendrik Kirchner Yining Chen Harri Edwards Jan Leike Nat McAleese Yuri Burda

Published in: CoRR (2024)

Keyphrases

game theory
computer games
real world
case study
theorem proving
databases
neural network
data mining
video games
stochastic games
learning agents