{"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":"2512.17260","title":"Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience","created":"2025-12-19","cited_by_count":44,"area":null},{"id":"2602.10177","title":"Towards Autonomous Mathematics Research","created":"2026-02-10","cited_by_count":40,"area":null},{"id":"2602.01031","title":"HalluHard: A Hard Multi-Turn Hallucination Benchmark","created":"2026-02-01","cited_by_count":9,"area":null},{"id":"2603.02668","title":"SorryDB: Can AI Provers Complete Real-World Lean Theorems?","created":"2026-03-03","cited_by_count":8,"area":null},{"id":"2511.11500","title":"Honesty over Accuracy: Trustworthy Language Models through Reinforced Hesitation","created":"2025-11-14","cited_by_count":5,"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":"2606.30015","title":"Parametric Skills","created":"2026-06-29","cited_by_count":3,"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":"2510.21860","title":"Butter-Bench: Evaluating LLM Controlled Robots for Practical Intelligence","created":"2025-10-23","cited_by_count":2,"area":null},{"id":"2603.03352","title":"Perfect score on IPhO 2025 theory by Gemini agent","created":"2026-02-26","cited_by_count":1,"area":null},{"id":"2609.05446","title":"AutoFyn Technical Report: Non-Parametric Expert Iteration for Long-Horizon Agents","created":"2026-07-31","cited_by_count":1,"area":null},{"id":"2602.08237","title":"Document Reconstruction Unlocks Scalable Long-Context RLVR","created":"2026-02-09","cited_by_count":0,"area":null},{"id":"2609.10712","title":"An Open Recipe for IMO Gold: Training Nemotron for Olympiad Mathematics","created":"2026-09-09","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}],"next_cursor":null}