04:00
2026-06-19
arxiv.org
artificial-intelligence
VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving
Researchers introduced VERITAS, a zero-shot framework for formal theorem proving that leverages rich verifier signals through a two-phase protocol combining Best-of-N sampling and critic-guided Monte …