Prover-Verifier Games improve legibility of language model outputsopenai.com139 pointsdavidbarker2 years ago