verifierbench-53cb76df·1 events·first seen Aliases: VerifierBench
Researchers introduce AdvancedMathBench, a benchmark suite targeting advanced mathematical reasoning beyond olympiad-level problems, comprising ProverBench (296 undergraduate and doctoral qualifying-exam problems) and VerifierBench (888 model-generated proof trajectories). The suite includes an automatic verification pipeline trained on expert annotations to assess proof correctness and error types. Frontier models struggle significantly: the best performer (GPT-5.5-xhigh) achieves only 75.8% and 66.1% on undergraduate and qualifying-exam splits respectively, while proof verification tops out at 65.1 Balanced F1, with models particularly weak at detecting proof errors.