TY - RPRT TI - Prover-Verifier Games improve legibility of LLM outputs AU - Jan Hendrik Kirchner AU - Yining Chen AU - Harri Edwards AU - Jan Leike AU - Nat McAleese AU - Yuri Burda PY - 2024 UR - https://arxiv.org/abs/2407.13692 ID - 2407.13692 ER -