{"total":118,"rows":[{"id":"2402.03300","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","created":"2024-02-05","cited_by_count":9379,"area":"lr"},{"id":"2503.14476","title":"DAPO: An Open-Source LLM Reinforcement Learning System at Scale","created":"2025-03-18","cited_by_count":2810,"area":"lr"},{"id":"2206.14858","title":"Solving Quantitative Reasoning Problems with Language Models","created":"2022-06-29","cited_by_count":1392,"area":"lr"},{"id":"2203.14465","title":"STaR: Bootstrapping Reasoning With Reasoning","created":"2022-03-28","cited_by_count":940,"area":"lr"},{"id":"2211.14275","title":"Solving math word problems with process- and outcome-based feedback","created":"2022-11-25","cited_by_count":901,"area":"lr"},{"id":"2310.10631","title":"Llemma: An Open Language Model For Mathematics","created":"2023-10-16","cited_by_count":388,"area":"lr"},{"id":"2503.09567","title":"Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models","created":"2025-03-12","cited_by_count":384,"area":"lr"},{"id":"2403.09629","title":"Quiet-STaR: Language Models Can Teach Themselves to Think Before Speaking","created":"2024-03-14","cited_by_count":301,"area":"lr"},{"id":"2408.00724","title":"Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for Problem-Solving with Language Models","created":"2024-08-01","cited_by_count":290,"area":"lr"},{"id":"2504.21801","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","created":"2025-04-30","cited_by_count":287,"area":"lr"},{"id":"2309.17452","title":"ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving","created":"2023-09-29","cited_by_count":282,"area":"lr"},{"id":"2408.08152","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","created":"2024-08-15","cited_by_count":197,"area":"lr"},{"id":"2310.06786","title":"OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text","created":"2023-10-10","cited_by_count":155,"area":"lr"},{"id":"2304.02015","title":"How well do Large Language Models perform in Arithmetic tasks?","created":"2023-03-16","cited_by_count":130,"area":"lr"},{"id":"2212.10535","title":"A Survey of Deep Learning for Mathematical Reasoning","created":"2022-12-20","cited_by_count":124,"area":"lr"},{"id":"2211.09066","title":"Teaching Algorithmic Reasoning via In-context Learning","created":"2022-11-15","cited_by_count":112,"area":"lr"},{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2506.02355","title":"Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening","created":"2025-06-03","cited_by_count":80,"area":"lr"},{"id":"2407.10040","title":"Lean-STaR: Learning to Interleave Thinking and Proving","created":"2024-07-14","cited_by_count":68,"area":"lr"},{"id":"2212.10561","title":"Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions","created":"2022-12-20","cited_by_count":64,"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":"2407.03203","title":"TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts","created":"2024-07-03","cited_by_count":59,"area":"lr"},{"id":"2312.17080","title":"MR-GSM8K: A Meta-Reasoning Benchmark for Large Language Model Evaluation","created":"2023-12-28","cited_by_count":57,"area":"lr"},{"id":"2411.04282","title":"Language Models are Hidden Reasoners: Unlocking Latent Reasoning Capabilities via Self-Rewarding","created":"2024-11-06","cited_by_count":55,"area":"lr"},{"id":"2412.11936","title":"A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challenges","created":"2024-12-16","cited_by_count":55,"area":"lr"},{"id":"2505.02735","title":"FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models","created":"2025-05-05","cited_by_count":48,"area":"lr"},{"id":"2402.08957","title":"MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data","created":"2024-02-14","cited_by_count":43,"area":"lr"},{"id":"2508.15096","title":"Nemotron-CC-Math: A 133 Billion-Token-Scale High Quality Math Pretraining Dataset","created":"2025-08-20","cited_by_count":38,"area":"lr"},{"id":"2507.15225","title":"Solving Formal Math Problems by Decomposition and Iterative Reflection","created":"2025-07-21","cited_by_count":35,"area":"lr"},{"id":"2502.02871","title":"Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning","created":"2025-02-05","cited_by_count":33,"area":"lr"},{"id":"2505.03171","title":"CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics","created":"2025-05-06","cited_by_count":31,"area":"lr"},{"id":"2510.12787","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","created":"2025-10-14","cited_by_count":31,"area":"lr"},{"id":"2410.08304","title":"Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers","created":"2024-10-10","cited_by_count":29,"area":"lr"},{"id":"2501.11110","title":"Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective","created":"2025-01-19","cited_by_count":29,"area":"lr"},{"id":"2502.04404","title":"Step Back to Leap Forward: Self-Backtracking for Boosting Reasoning of Language Models","created":"2025-02-06","cited_by_count":27,"area":"lr"},{"id":"2504.06122","title":"Leanabell-Prover: Posttraining Scaling in Formal Reasoning","created":"2025-04-08","cited_by_count":27,"area":"lr"},{"id":"2407.17227","title":"LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover","created":"2024-07-24","cited_by_count":25,"area":"lr"},{"id":"2310.10180","title":"TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models","created":"2023-10-16","cited_by_count":24,"area":"lr"},{"id":"2503.03205","title":"MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving","created":"2025-03-05","cited_by_count":24,"area":"lr"},{"id":"2505.23754","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","created":"2025-05-29","cited_by_count":24,"area":"lr"},{"id":"2605.22763","title":"Advancing Mathematics Research with AI-Driven Formal Proof Search","created":"2026-05-21","cited_by_count":23,"area":"lr"},{"id":"2411.01829","title":"Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically","created":"2024-11-04","cited_by_count":22,"area":"lr"},{"id":"2510.24592","title":"ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization","created":"2025-10-28","cited_by_count":20,"area":"lr"},{"id":"2412.10673","title":"Proposing and solving olympiad geometry with guided tree search","created":"2024-12-14","cited_by_count":19,"area":"lr"},{"id":"2303.07735","title":"Can neural networks do arithmetic? A survey on the elementary numerical skills of state-of-the-art deep learning models","created":"2023-03-14","cited_by_count":18,"area":"lr"},{"id":"2505.20613","title":"REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning","created":"2025-05-27","cited_by_count":18,"area":"lr"},{"id":"2203.12186","title":"AbductionRules: Training Transformers to Explain Unexpected Inputs","created":"2022-03-23","cited_by_count":17,"area":"lr"},{"id":"2502.13834","title":"Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning","created":"2025-02-19","cited_by_count":17,"area":"lr"},{"id":"2506.04592","title":"Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification","created":"2025-06-05","cited_by_count":17,"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":"2209.07662","title":"NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning","created":"2022-09-16","cited_by_count":16,"area":"lr"},{"id":"2305.12563","title":"A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers","created":"2023-05-21","cited_by_count":15,"area":"lr"},{"id":"2504.13828","title":"Generative AI Act II: Test Time Scaling Drives Cognition Engineering","created":"2025-04-18","cited_by_count":15,"area":"lr"},{"id":"2506.15707","title":"Every Rollout Counts: Optimal Resource Allocation for Efficient Test-Time Scaling","created":"2025-05-30","cited_by_count":15,"area":"lr"},{"id":"2502.12123","title":"On the Query Complexity of Verifier-Assisted Language Generation","created":"2025-02-17","cited_by_count":12,"area":"lr"},{"id":"2503.17726","title":"A Survey on Mathematical Reasoning and Optimization with Large Language Models","created":"2025-03-22","cited_by_count":12,"area":"lr"},{"id":"2601.20055","title":"VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning","created":"2026-01-27","cited_by_count":12,"area":"lr"},{"id":"2606.03303","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","created":"2026-06-02","cited_by_count":12,"area":"lr"},{"id":"2505.12504","title":"CPGD: Toward Stable Rule-based Reinforcement Learning for Language Models","created":"2025-05-18","cited_by_count":11,"area":"lr"},{"id":"2502.17925","title":"LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction","created":"2025-02-25","cited_by_count":10,"area":"lr"},{"id":"2505.20047","title":"Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks","created":"2025-05-26","cited_by_count":10,"area":"lr"},{"id":"2408.05141","title":"A Hybrid RAG System with Comprehensive Enhancement on Complex Reasoning","created":"2024-08-09","cited_by_count":8,"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":"2505.15960","title":"Efficient PRM Training Data Synthesis via Formal Verification","created":"2025-05-21","cited_by_count":8,"area":"lr"},{"id":"2207.02536","title":"Transformers discover an elementary calculation system exploiting local attention and grid-like problem representation","created":"2022-07-06","cited_by_count":7,"area":"lr"},{"id":"2305.13179","title":"Teaching Probabilistic Logical Reasoning to Transformers","created":"2023-05-22","cited_by_count":7,"area":"lr"},{"id":"2408.03492","title":"Automated Theorem Provers Help Improve Large Language Model Reasoning","created":"2024-08-07","cited_by_count":7,"area":"lr"},{"id":"2501.18009","title":"Large Language Models Think Too Fast To Explore Effectively","created":"2025-01-29","cited_by_count":7,"area":"lr"},{"id":"2507.06804","title":"Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving","created":"2025-07-07","cited_by_count":7,"area":"lr"},{"id":"2606.20068","title":"Process-Verified Reinforcement Learning for Theorem Proving via Lean","created":"2026-06-18","cited_by_count":7,"area":"lr"},{"id":"2408.13863","title":"CodeGraph: Enhancing Graph Reasoning of LLMs with Code","created":"2024-08-25","cited_by_count":6,"area":"lr"},{"id":"2502.09955","title":"Diverse Inference and Verification for Advanced Reasoning","created":"2025-02-14","cited_by_count":6,"area":"lr"},{"id":"2504.02810","title":"Generative Evaluation of Complex Reasoning in Large Language Models","created":"2025-04-03","cited_by_count":6,"area":"lr"},{"id":"2510.09517","title":"StatEval: A Comprehensive Benchmark for Large Language Models in Statistics","created":"2025-10-10","cited_by_count":6,"area":"lr"},{"id":"2510.11769","title":"GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving","created":"2025-10-13","cited_by_count":6,"area":"lr"},{"id":"2212.08686","title":"Evaluating Step-by-Step Reasoning through Symbolic Verification","created":"2022-12-16","cited_by_count":5,"area":"lr"},{"id":"2403.11314","title":"Reasoning in Transformers -- Mitigating Spurious Correlations and Reasoning Shortcuts","created":"2024-03-17","cited_by_count":5,"area":"lr"},{"id":"2504.20213","title":"Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework","created":"2025-04-28","cited_by_count":5,"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":"2403.14932","title":"Extending Token Computation for LLM Reasoning","created":"2024-03-22","cited_by_count":3,"area":"lr"},{"id":"2404.18384","title":"Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions","created":"2024-04-29","cited_by_count":3,"area":"lr"},{"id":"2504.04945","title":"A Llama walks into the 'Bar': Efficient Supervised Fine-Tuning for Legal Reasoning in the Multi-state Bar Exam","created":"2025-04-07","cited_by_count":3,"area":"lr"},{"id":"2507.14335","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","created":"2025-07-18","cited_by_count":3,"area":"lr"},{"id":"2508.15878","title":"Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs","created":"2025-08-21","cited_by_count":3,"area":"lr"},{"id":"2603.29500","title":"Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries","created":"2026-03-31","cited_by_count":3,"area":"lr"},{"id":"2306.11027","title":"JiuZhang 2.0: A Unified Chinese Pre-trained Language Model for Multi-task Mathematical Problem Solving","created":"2023-06-19","cited_by_count":2,"area":"lr"},{"id":"2503.11657","title":"Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving","created":"2025-02-04","cited_by_count":2,"area":"lr"},{"id":"2505.00001","title":"Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning","created":"2025-03-25","cited_by_count":2,"area":"lr"},{"id":"2512.10187","title":"MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification","created":"2025-12-11","cited_by_count":2,"area":"lr"},{"id":"2512.14709","title":"Attention as Binding: A Vector-Symbolic Perspective on Transformer Reasoning","created":"2025-12-08","cited_by_count":2,"area":"lr"},{"id":"2602.21585","title":"Duel-Evolve: Reward-Free Test-Time Scaling via LLM Self-Preferences","created":"2026-02-25","cited_by_count":2,"area":"lr"},{"id":"2307.09998","title":"Controlling Equational Reasoning in Large Language Models with Prompt Interventions","created":"2023-07-19","cited_by_count":1,"area":"lr"},{"id":"2502.00817","title":"Probing Large Language Models in Reasoning and Translating Complex Linguistic Puzzles","created":"2025-02-02","cited_by_count":1,"area":"lr"},{"id":"2502.18532","title":"CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization","created":"2025-02-25","cited_by_count":1,"area":"lr"},{"id":"2504.02671","title":"LLM for Complex Reasoning Task: An Exploratory Study in Fermi Problems","created":"2025-04-03","cited_by_count":1,"area":"lr"},{"id":"2506.08171","title":"Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models","created":"2025-06-09","cited_by_count":1,"area":"lr"},{"id":"2508.15766","title":"Discovering Hidden Algebraic Structures via Transformers with Rank-Aware Beam GRPO","created":"2025-08-21","cited_by_count":1,"area":"lr"},{"id":"2510.10701","title":"Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction","created":"2025-10-12","cited_by_count":1,"area":"lr"},{"id":"2602.10538","title":"Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models","created":"2026-02-11","cited_by_count":1,"area":"lr"},{"id":"2605.15445","title":"From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates","created":"2026-05-14","cited_by_count":1,"area":"lr"}],"next_cursor":"100"}