{"total":27,"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":"2507.15855","title":"Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline","created":"2025-07-21","cited_by_count":82,"area":null},{"id":"2506.21621","title":"The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs","created":"2025-06-23","cited_by_count":30,"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":"2505.11855","title":"When AI Co-Scientists Fail: SPOT-a Benchmark for Automated Verification of Scientific Research","created":"2025-05-17","cited_by_count":26,"area":null},{"id":"2510.02263","title":"RLAD: Training LLMs to Discover Abstractions for Solving Reasoning Problems","created":"2025-10-02","cited_by_count":21,"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":"2505.10443","title":"Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?","created":"2025-05-15","cited_by_count":7,"area":null},{"id":"2604.03216","title":"BAS: A Decision-Theoretic Approach to Evaluating Large Language Model Confidence","created":"2026-04-03","cited_by_count":7,"area":null},{"id":"2504.12320","title":"Has the Creativity of Large-Language Models peaked? An analysis of inter- and intra-LLM variability","created":"2025-04-10","cited_by_count":6,"area":null},{"id":"2510.14717","title":"Seesaw: Accelerating Training by Balancing Learning Rate and Batch Size Scheduling","created":"2025-10-16","cited_by_count":6,"area":null},{"id":"2505.11774","title":"HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate Class","created":"2025-05-17","cited_by_count":5,"area":null},{"id":"2509.21175","title":"Who's Laughing Now? An Overview of Computational Humour Generation and Explanation","created":"2025-09-25","cited_by_count":5,"area":null},{"id":"2504.13217","title":"Sustainability via LLM Right-sizing","created":"2025-04-17","cited_by_count":3,"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":"2508.20236","title":"The Mathematician's Assistant: Integrating AI into Research Practice","created":"2025-08-27","cited_by_count":2,"area":null},{"id":"2509.21820","title":"Can LLMs Generate and Solve Linguistic Olympiad Puzzles?","created":"2025-09-26","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":"2507.03162","title":"MateInfoUB: A Real-World Benchmark for Testing LLMs in Competitive, Multilingual, and Multimodal Educational Tasks","created":"2025-07-03","cited_by_count":1,"area":null},{"id":"2511.19872","title":"Simulated Self-Assessment in Large Language Models: A Psychometric Approach to AI Self-Efficacy","created":"2025-11-25","cited_by_count":1,"area":null},{"id":"2512.23711","title":"CAT: A Metric-Driven Framework for Analyzing the Consistency-Accuracy Relation of LLMs under Controlled Input Variations","created":"2025-11-26","cited_by_count":1,"area":null},{"id":"2601.23166","title":"Monotonic Reference-Free Refinement for Autoformalization","created":"2026-01-30","cited_by_count":1,"area":null},{"id":"2504.15434","title":"AGI Is Coming... Right After AI Learns to Play Wordle","created":"2025-04-21","cited_by_count":0,"area":null},{"id":"2505.24532","title":"DeepQuestion: Systematic Generation of Real-World Challenges for Evaluating LLMs Performance","created":"2025-05-30","cited_by_count":0,"area":null},{"id":"2605.00817","title":"When LLMs Stop Following Steps: A Diagnostic Study of Procedural Execution in Language Models","created":"2026-05-01","cited_by_count":0,"area":null},{"id":"2606.05383","title":"Can AI Refute Economic Theory? Evidence from Beyond the Knowledge Cutoff","created":"2026-06-03","cited_by_count":0,"area":null}],"next_cursor":null}