{"total":74,"rows":[{"id":"2505.23281","title":"MathArena: Evaluating LLMs on Uncontaminated Math Competitions","created":"2025-05-29","cited_by_count":297,"area":"lr"},{"id":"2508.03613","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","created":"2025-08-05","cited_by_count":154,"area":"synth"},{"id":"2504.21318","title":"Phi-4-reasoning Technical Report","created":"2025-04-30","cited_by_count":151,"area":"lr"},{"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.23726","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","created":"2025-07-31","cited_by_count":101,"area":"lr"},{"id":"2504.07086","title":"A Sober Look at Progress in Language Model Reasoning: Pitfalls and Paths to Reproducibility","created":"2025-04-09","cited_by_count":93,"area":"lr"},{"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":"2603.03329","title":"AutoHarness: improving LLM agents by automatically synthesizing a code harness","created":"2026-02-10","cited_by_count":76,"area":"agents"},{"id":"2504.16074","title":"PHYBench: Holistic Evaluation of Physical Perception and Reasoning in Large Language Models","created":"2025-04-22","cited_by_count":61,"area":"lr"},{"id":"2509.22819","title":"Hilbert: Recursively Building Formal Proofs with Informal Reasoning","created":"2025-09-26","cited_by_count":60,"area":"lr"},{"id":"2510.26768","title":"AMO-Bench: Large Language Models Still Struggle in High School Math Competitions","created":"2025-10-30","cited_by_count":38,"area":"lr"},{"id":"2506.17219","title":"No Free Lunch: Rethinking Internal Feedback for LLM Reasoning","created":"2025-06-20","cited_by_count":37,"area":"lr"},{"id":"2505.12575","title":"RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics","created":"2025-05-18","cited_by_count":31,"area":"lr"},{"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":"2506.07927","title":"Solving Inequality Proofs with Large Language Models","created":"2025-06-09","cited_by_count":21,"area":"lr"},{"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":"2506.17114","title":"Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models","created":"2025-06-20","cited_by_count":20,"area":"lr"},{"id":"2510.13888","title":"Reliable Fine-Grained Evaluation of Natural Language Math Proofs","created":"2025-10-14","cited_by_count":18,"area":"lr"},{"id":"2506.11487","title":"Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models","created":"2025-06-13","cited_by_count":17,"area":"lr"},{"id":"2508.10874","title":"SSRL: Self-Search Reinforcement Learning","created":"2025-08-14","cited_by_count":14,"area":"lr"},{"id":"2505.17373","title":"Value-Guided Search for Efficient Chain-of-Thought Reasoning","created":"2025-05-23","cited_by_count":13,"area":"lr"},{"id":"2509.26076","title":"IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation","created":"2025-09-30","cited_by_count":13,"area":null},{"id":"2507.12399","title":"ROC-n-reroll: How verifier imperfection affects test-time scaling","created":"2025-07-16","cited_by_count":12,"area":"lr"},{"id":"2509.06861","title":"Test-Time Scaling in Reasoning Models Is Not Effective for Knowledge-Intensive Tasks Yet","created":"2025-09-08","cited_by_count":11,"area":"lr"},{"id":"2506.06877","title":"Right Is Not Enough: The Pitfalls of Outcome Supervision in Training LLMs for Math Reasoning","created":"2025-06-07","cited_by_count":10,"area":"lr"},{"id":"2505.12680","title":"Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities","created":"2025-05-19","cited_by_count":8,"area":"lr"},{"id":"2508.08833","title":"An Investigation of Robustness of LLMs in Mathematical Reasoning: Benchmarking with Mathematically-Equivalent Transformation of Advanced Mathematical Problems","created":"2025-08-12","cited_by_count":8,"area":"lr"},{"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":"2510.21978","title":"Beyond Reasoning Gains: Mitigating General-Capability Forgetting in Large Reasoning Models","created":"2025-10-24","cited_by_count":5,"area":"lr"},{"id":"2508.00459","title":"Thinking Machines: Mathematical Reasoning in the Age of LLMs","created":"2025-08-01","cited_by_count":4,"area":"lr"},{"id":"2508.09932","title":"Mathematical Computation and Reasoning Errors by Large Language Models","created":"2025-08-13","cited_by_count":4,"area":"lr"},{"id":"2510.00024","title":"EpidemIQs: Prompt-to-Paper LLM Agents for Epidemic Modeling and Analysis","created":"2025-09-24","cited_by_count":4,"area":"agents"},{"id":"2510.03185","title":"PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning","created":"2025-10-03","cited_by_count":4,"area":"lr"},{"id":"2510.09021","title":"RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows","created":"2025-10-10","cited_by_count":4,"area":"agents"},{"id":"2510.25626","title":"Are Language Models Efficient Reasoners? A Perspective from Logic Programming","created":"2025-10-29","cited_by_count":4,"area":"lr"},{"id":"2601.00791","title":"Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning","created":"2026-01-02","cited_by_count":4,"area":"lr"},{"id":"2504.13217","title":"Sustainability via LLM Right-sizing","created":"2025-04-17","cited_by_count":3,"area":null},{"id":"2505.23881","title":"Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems","created":"2025-05-29","cited_by_count":3,"area":"lr"},{"id":"2511.16205","title":"ChemLabs on ChemO: A Multi-Agent System for Multimodal Reasoning on IChO 2025","created":"2025-11-20","cited_by_count":3,"area":"lr"},{"id":"2601.06160","title":"Student Guides Teacher: Weak-to-Strong Inference via Spectral Orthogonal Exploration","created":"2026-01-06","cited_by_count":3,"area":"lr"},{"id":"2602.06319","title":"Exposing Weaknesses of Large Reasoning Models through Graph Algorithm Problems","created":"2026-02-06","cited_by_count":3,"area":"lr"},{"id":"2604.02450","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","created":"2026-04-02","cited_by_count":3,"area":"lr"},{"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":"2510.16259","title":"Distractor Injection Attacks on Large Reasoning Models: Characterization and Defense","created":"2025-10-17","cited_by_count":2,"area":"lr"},{"id":"2602.11792","title":"Detecting RLVR Training Data via Structural Convergence of Reasoning","created":"2026-02-12","cited_by_count":2,"area":"lr"},{"id":"2608.02442","title":"Right Answer, Wrong Method: Shortcut Hacking Misleads the Evaluation of LLM Reasoning on Frontier Science Benchmarks","created":"2026-08-03","cited_by_count":2,"area":"lr"},{"id":"2505.18492","title":"Formally Solving Answer-Construction Problems in Lean","created":"2025-05-24","cited_by_count":1,"area":"lr"},{"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.04996","title":"AlgBench: To What Extent Do Large Reasoning Models Understand Algorithms?","created":"2026-01-08","cited_by_count":1,"area":"lr"},{"id":"2601.23166","title":"Monotonic Reference-Free Refinement for Autoformalization","created":"2026-01-30","cited_by_count":1,"area":null},{"id":"2604.12162","title":"AlphaEval: Evaluating Agents in Production","created":"2026-04-14","cited_by_count":1,"area":"agents"},{"id":"2605.19338","title":"STAR-P\\'olyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision","created":"2026-05-19","cited_by_count":1,"area":"lr"},{"id":"2608.00004","title":"Cost-Effective Automated Judging of Natural-Language Mathematical Proofs","created":"2026-05-29","cited_by_count":1,"area":"lr"},{"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":"2511.10899","title":"From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models","created":"2025-11-14","cited_by_count":0,"area":"lr"},{"id":"2604.07593","title":"Too long; didn't solve","created":"2026-04-08","cited_by_count":0,"area":"lr"},{"id":"2604.21935","title":"Math Takes Two: A test for emergent mathematical reasoning in communication","created":"2026-03-30","cited_by_count":0,"area":"lr"},{"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},{"id":"2610.13996","title":"Splicing Hints into Reasoning Traces: Learning from Demonstrator Failures","created":"2026-09-26","cited_by_count":0,"area":"lr"}],"next_cursor":null}