Prover-Verifier Games Improve Legibility Of Language Model Outputs
A Large Language Model (LLM) is increasingly used in critical domains and complex applications, so it becomes essential to know whether their output is trustworthy. By requiring models to produce…