AIBullisharXiv – CS AI · 10h ago6/10
🧠
Pessimistic Verification for Open Ended Math Questions
Researchers propose pessimistic verification, a novel approach to automatically verify solutions to open-ended math problems by using multiple parallel verifiers that collectively reject any solution with identified flaws. The method, combined with progressive proof decomposition, outperforms existing verification approaches on challenging contest-level mathematics problems and demonstrates significant improvements in both accuracy and token efficiency.