Trust but Verify: Prover-Verifier Deliberation for Selective LLM Prediction

João Sedoc, Baotong Zhang, Dean Foster

Reliably knowing when a language model is correct is almost as important as being correct. We introduce prover-verifier deliberation (PVD), an inference-time protocol grounded in i…