{"total":42,"rows":[{"id":"2505.23281","title":"MathArena: Evaluating LLMs on Uncontaminated Math Competitions","created":"2025-05-29","cited_by_count":297,"area":"lr"},{"id":"2504.21318","title":"Phi-4-reasoning Technical Report","created":"2025-04-30","cited_by_count":151,"area":"lr"},{"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":"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.07927","title":"Solving Inequality Proofs with Large Language Models","created":"2025-06-09","cited_by_count":21,"area":"lr"},{"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":"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":"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.03185","title":"PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning","created":"2025-10-03","cited_by_count":4,"area":"lr"},{"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":"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":"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":"2601.04996","title":"AlgBench: To What Extent Do Large Reasoning Models Understand Algorithms?","created":"2026-01-08","cited_by_count":1,"area":"lr"},{"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":"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":"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}