Prover-Verifier Games improve legibility of LLM outputs (arxiv.org)

Very interesting. I always see the two techniques as complementary.

Basically GAN but for LLMs? Neat

(openAI) Previous discussion:

https://news.ycombinator.com/item?id=40988076