ProverBench

Researchers introduced AdvancedMathBench, a new benchmark suite for evaluating large language models on advanced mathematical reasoning, including proof generation and verification. The benchmark comp…