2026
Pessimistic Verification for Open-Ended Math Questions
ICML 2026poster
Automatic verification is a critical component in building math-solving agents and reinforcement learning, yet it often falls short in generalizability, performance, and cost-efficiency. Identifying that the primary bottleneck of verification lies in error detection capability, we propose pessimisti…