Fetching the paper…

Prover-Verifier Games improve legibility of LLM outputs · Around