IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
DGX agentarXiv:2509.26076v2 Announce Type: replace Abstract: As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly important to evaluate their performance on researc