2026
Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection
ICML 2026poster
Large language models have achieved remarkable success on final-answer mathematical problems, largely due to the ease of applying reinforcement learning with verifiable rewards. However, the reasoning underlying these solutions is often flawed. Advancing to rigorous proof-based mathematics requires …