{"total":15,"rows":[{"id":"2605.00674","title":"Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs","created":"2026-05-01","cited_by_count":137,"area":null},{"id":"2510.04721","title":"BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs","created":"2025-10-06","cited_by_count":27,"area":null},{"id":"2509.26076","title":"IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation","created":"2025-09-30","cited_by_count":13,"area":null},{"id":"2511.13027","title":"Scaling Generative Verifiers For Natural Language Mathematical Proof Verification And Selection","created":"2025-11-17","cited_by_count":9,"area":null},{"id":"2604.04898","title":"QED-Nano: Teaching a Tiny Model to Prove Hard Theorems","created":"2026-04-06","cited_by_count":3,"area":null},{"id":"2605.10379","title":"Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness","created":"2026-05-11","cited_by_count":3,"area":null},{"id":"2608.09538","title":"TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability","created":"2026-08-10","cited_by_count":3,"area":null},{"id":"2508.20236","title":"The Mathematician's Assistant: Integrating AI into Research Practice","created":"2025-08-27","cited_by_count":2,"area":null},{"id":"2509.24827","title":"Putnam-like dataset summary: LLMs as mathematical competition contestants","created":"2025-09-29","cited_by_count":2,"area":null},{"id":"2602.02377","title":"ProofVerifier: A Scalable, Diversity-Driven Framework for Natural-Language Proof Verification","created":"2026-02-02","cited_by_count":1,"area":null},{"id":"2606.21972","title":"Human vs Machine Mathematical Difficulty on Project Euler: An Experimental Analysis","created":"2026-06-20","cited_by_count":1,"area":null},{"id":"2607.11849","title":"AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification","created":"2026-07-13","cited_by_count":0,"area":null},{"id":"2608.27716","title":"PCFBench: A Diagnostic Benchmark for Product Carbon Footprint Estimation","created":"2026-08-27","cited_by_count":0,"area":null},{"id":"2609.35606","title":"TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2610.18089","title":"One-Sided Verification Under Limited Expert Review","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}