{"total":137,"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":"2501.19393","title":"s1: Simple test-time scaling","created":"2025-01-31","cited_by_count":1341,"area":"lr"},{"id":"2312.08935","title":"Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations","created":"2023-12-14","cited_by_count":928,"area":"lr"},{"id":"2402.14804","title":"Measuring Multimodal Mathematical Reasoning with MATH-Vision Dataset","created":"2024-02-22","cited_by_count":526,"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":"2406.18629","title":"Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs","created":"2024-06-26","cited_by_count":273,"area":"lr"},{"id":"2410.01560","title":"OpenMathInstruct-2: Accelerating AI for Math with Massive Open-Source Instruction Data","created":"2024-10-02","cited_by_count":200,"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":"2405.00332","title":"A Careful Examination of Large Language Model Performance on Grade School Arithmetic","created":"2024-05-01","cited_by_count":191,"area":"lr"},{"id":"2405.03553","title":"AlphaMath Almost Zero: Process Supervision without Process","created":"2024-05-06","cited_by_count":162,"area":"lr"},{"id":"2403.04642","title":"Teaching Large Language Models to Reason with Reinforcement Learning","created":"2024-03-07","cited_by_count":160,"area":"lr"},{"id":"2402.19255","title":"GSM-Plus: A Comprehensive Benchmark for Evaluating the Robustness of LLMs as Mathematical Problem Solvers","created":"2024-02-29","cited_by_count":158,"area":"lr"},{"id":"2402.14830","title":"Orca-Math: Unlocking the potential of SLMs in Grade School Math","created":"2024-02-16","cited_by_count":151,"area":"lr"},{"id":"2405.03548","title":"MAmmoTH2: Scaling Instructions from the Web","created":"2024-05-06","cited_by_count":145,"area":"lr"},{"id":"2506.20512","title":"OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling","created":"2025-06-25","cited_by_count":113,"area":"lr"},{"id":"2403.04706","title":"Common 7B Language Models Already Possess Strong Math Capabilities","created":"2024-03-07","cited_by_count":109,"area":"lr"},{"id":"2403.07816","title":"Branch-Train-MiX: Mixing Expert LLMs into a Mixture-of-Experts LLM","created":"2024-03-12","cited_by_count":109,"area":"lr"},{"id":"2406.14283","title":"Q*: Improving Multi-step Reasoning for LLMs with Deliberative Planning","created":"2024-06-20","cited_by_count":97,"area":"lr"},{"id":"2502.03275","title":"Token Assorted: Mixing Latent and Text Tokens for Improved Language Model Reasoning","created":"2025-02-05","cited_by_count":91,"area":"lr"},{"id":"2404.10642","title":"Self-playing Adversarial Language Game Enhances LLM Reasoning","created":"2024-04-16","cited_by_count":83,"area":"lr"},{"id":"2401.08190","title":"MARIO: MAth Reasoning with code Interpreter Output -- A Reproducible Pipeline","created":"2024-01-16","cited_by_count":81,"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":"2502.00212","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","created":"2025-01-31","cited_by_count":79,"area":"lr"},{"id":"2412.15084","title":"AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modeling","created":"2024-12-19","cited_by_count":77,"area":"lr"},{"id":"2402.16352","title":"MathGenie: Generating Synthetic Data with Question Back-translation for Enhancing Mathematical Reasoning of LLMs","created":"2024-02-26","cited_by_count":72,"area":"lr"},{"id":"2406.10858","title":"Step-level Value Preference Optimization for Mathematical Reasoning","created":"2024-06-16","cited_by_count":72,"area":"lr"},{"id":"2312.09241","title":"TinyGSM: achieving >80% on GSM8k with small language models","created":"2023-12-14","cited_by_count":70,"area":"lr"},{"id":"2409.00147","title":"MultiMath: Bridging Visual and Mathematical Reasoning for Large Language Models","created":"2024-08-30","cited_by_count":70,"area":"lr"},{"id":"2404.05692","title":"Evaluating Mathematical Reasoning Beyond Accuracy","created":"2024-04-08","cited_by_count":69,"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":"2408.16737","title":"Smaller, Weaker, Yet Better: Training LLM Reasoners via Compute-Optimal Sampling","created":"2024-08-29","cited_by_count":61,"area":"lr"},{"id":"2401.09003","title":"Augmenting Math Word Problems via Iterative Question Composing","created":"2024-01-17","cited_by_count":59,"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":"2403.02333","title":"Key-Point-Driven Data Synthesis with its Enhancement on Mathematical Reasoning","created":"2024-03-04","cited_by_count":58,"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":"2506.04210","title":"Does Thinking More always Help? Mirage of Test-Time Scaling in Reasoning Models","created":"2025-06-04","cited_by_count":53,"area":"lr"},{"id":"2402.02658","title":"Multi-step Problem Solving Through a Verifier: An Empirical Analysis on Model-induced Process Supervision","created":"2024-02-05","cited_by_count":52,"area":"lr"},{"id":"2506.08446","title":"A Survey on Large Language Models for Mathematical Reasoning","created":"2025-06-10","cited_by_count":52,"area":"lr"},{"id":"2504.02807","title":"MegaMath: Pushing the Limits of Open Math Corpora","created":"2025-04-03","cited_by_count":51,"area":"lr"},{"id":"2502.00334","title":"UGPhysics: A Comprehensive Benchmark for Undergraduate Physics Reasoning with Large Language Models","created":"2025-02-01","cited_by_count":48,"area":"lr"},{"id":"2406.00755","title":"Evaluating Mathematical Reasoning of Large Language Models: A Focus on Error Identification and Correction","created":"2024-06-02","cited_by_count":45,"area":"lr"},{"id":"2406.01940","title":"Process-Driven Autoformalization in Lean 4","created":"2024-06-04","cited_by_count":45,"area":"lr"},{"id":"2406.14024","title":"LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback","created":"2024-06-20","cited_by_count":41,"area":"lr"},{"id":"2501.02497","title":"A Survey of Test-Time Compute: From Intuitive Inference to Deliberate Reasoning","created":"2025-01-05","cited_by_count":40,"area":"lr"},{"id":"2410.08196","title":"MathCoder2: Better Math Reasoning from Continued Pretraining on Model-translated Mathematical Code","created":"2024-10-10","cited_by_count":39,"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":"2502.17407","title":"Linguistic Generalizability of Test-Time Scaling in Mathematical Reasoning","created":"2025-02-24","cited_by_count":37,"area":"lr"},{"id":"2407.00782","title":"Step-Controlled DPO: Leveraging Stepwise Error for Enhanced Mathematical Reasoning","created":"2024-06-30","cited_by_count":35,"area":"lr"},{"id":"2407.13647","title":"Weak-to-Strong Reasoning","created":"2024-07-18","cited_by_count":33,"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":"2502.05234","title":"Optimizing Temperature for Language Models with Multi-Sample Inference","created":"2025-02-07","cited_by_count":33,"area":"lr"},{"id":"2404.10346","title":"Self-Explore: Enhancing Mathematical Reasoning in Language Models with Fine-grained Rewards","created":"2024-04-16","cited_by_count":31,"area":"lr"},{"id":"2406.13948","title":"CityGPT: Empowering Urban Spatial Cognition of Large Language Models","created":"2024-06-20","cited_by_count":30,"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":"2501.14275","title":"Leveraging Online Olympiad-Level Math Problems for LLMs Training and Contamination-Resistant Evaluation","created":"2025-01-24","cited_by_count":29,"area":"lr"},{"id":"2504.06122","title":"Leanabell-Prover: Posttraining Scaling in Formal Reasoning","created":"2025-04-08","cited_by_count":27,"area":"lr"},{"id":"2406.17271","title":"DARG: Dynamic Evaluation of Large Language Models via Adaptive Reasoning Graph","created":"2024-06-25","cited_by_count":26,"area":"lr"},{"id":"2407.18248","title":"Self-Training with Direct Preference Optimization Improves Chain-of-Thought Reasoning","created":"2024-07-25","cited_by_count":26,"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":"2410.18693","title":"Unleashing LLM Reasoning Capability via Scalable Question Synthesis from Scratch","created":"2024-10-24","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":"2402.03268","title":"Understanding Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation","created":"2024-02-05","cited_by_count":22,"area":"lr"},{"id":"2410.01920","title":"Step-by-Step Reasoning for Math Problems via Twisted Sequential Monte Carlo","created":"2024-10-02","cited_by_count":22,"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":"2412.04857","title":"Neuro-Symbolic Data Generation for Math Reasoning","created":"2024-12-06","cited_by_count":22,"area":"lr"},{"id":"2501.10799","title":"Step-KTO: Optimizing Mathematical Reasoning through Stepwise Binary Feedback","created":"2025-01-18","cited_by_count":22,"area":"lr"},{"id":"2503.02324","title":"PromptCoT: Synthesizing Olympiad-level Problems for Mathematical Reasoning in Large Language Models","created":"2025-03-04","cited_by_count":22,"area":"lr"},{"id":"2409.13729","title":"MathGLM-Vision: Solving Mathematical Problems with Multi-Modal Large Language Model","created":"2024-09-10","cited_by_count":21,"area":"lr"},{"id":"2403.02178","title":"Masked Thought: Simply Masking Partial Reasoning Steps Can Improve Mathematical Reasoning Learning of Language Models","created":"2024-03-04","cited_by_count":20,"area":"lr"},{"id":"2407.04078","title":"DotaMath: Decomposition of Thought with Code Assistance and Self-correction for Mathematical Reasoning","created":"2024-07-04","cited_by_count":19,"area":"lr"},{"id":"2410.17635","title":"Markov Chain of Thought for Efficient Mathematical Reasoning","created":"2024-10-23","cited_by_count":19,"area":"lr"},{"id":"2405.00622","title":"Causal Evaluation of Language Models","created":"2024-05-01","cited_by_count":18,"area":"lr"},{"id":"2512.20745","title":"AgentMath: Empowering Mathematical Reasoning for Large Language Models via Tool-Augmented Agent","created":"2025-12-23","cited_by_count":17,"area":"lr"},{"id":"2501.06430","title":"Open Eyes, Then Reason: Fine-grained Visual Mathematical Understanding in MLLMs","created":"2025-01-11","cited_by_count":16,"area":"lr"},{"id":"2405.06680","title":"Exploring the Compositional Deficiency of Large Language Models in Mathematical Reasoning","created":"2024-05-05","cited_by_count":15,"area":"lr"},{"id":"2406.12050","title":"Learn Beyond The Answer: Training Language Models with Reflection for Mathematical Reasoning","created":"2024-06-17","cited_by_count":15,"area":"lr"},{"id":"2506.09820","title":"CoRT: Code-integrated Reasoning within Thinking","created":"2025-06-11","cited_by_count":15,"area":"lr"},{"id":"2410.12881","title":"MIND: Math Informed syNthetic Dialogues for Pretraining LLMs","created":"2024-10-15","cited_by_count":14,"area":"lr"},{"id":"2502.14356","title":"Full-Step-DPO: Self-Supervised Preference Optimization with Step-wise Rewards for Mathematical Reasoning","created":"2025-02-20","cited_by_count":14,"area":"lr"},{"id":"2408.08302","title":"Benchmarking the Capabilities of Large Language Models in Transportation System Engineering: Accuracy, Consistency, and Reasoning Behaviors","created":"2024-08-15","cited_by_count":13,"area":"lr"},{"id":"2410.10735","title":"Embedding Self-Correction as an Inherent Ability in Large Language Models for Enhanced Mathematical Reasoning","created":"2024-10-14","cited_by_count":13,"area":"lr"},{"id":"2501.13766","title":"UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models","created":"2025-01-23","cited_by_count":13,"area":"lr"},{"id":"2501.14002","title":"Advancing Mathematical Reasoning in Language Models: The Impact of Problem-Solving Data, Data Synthesis Methods, and Training Stages","created":"2025-01-23","cited_by_count":13,"area":"lr"},{"id":"2505.17697","title":"Activation Control for Efficiently Eliciting Long Chain-of-thought Ability of Language Models","created":"2025-05-23","cited_by_count":13,"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":"2311.13063","title":"From Classification to Clinical Insights: Towards Analyzing and Reasoning About Mobile and Behavioral Health Data With Large Language Models","created":"2023-11-21","cited_by_count":11,"area":"lr"},{"id":"2505.23703","title":"Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability","created":"2025-05-29","cited_by_count":11,"area":"lr"},{"id":"2501.15581","title":"Error Classification of Large Language Models on Math Word Problems: A Dynamically Adaptive Framework","created":"2025-01-26","cited_by_count":10,"area":"lr"},{"id":"2402.17786","title":"Stepwise Self-Consistent Mathematical Reasoning with Large Language Models","created":"2024-02-24","cited_by_count":8,"area":"lr"},{"id":"2410.18921","title":"From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems","created":"2024-10-24","cited_by_count":8,"area":"lr"},{"id":"2507.03133","title":"ReliableMath: Benchmark of Reliable Mathematical Reasoning on Large Language Models","created":"2025-07-03","cited_by_count":8,"area":"lr"},{"id":"2412.16964","title":"System-2 Mathematical Reasoning via Enriched Instruction Tuning","created":"2024-12-22","cited_by_count":7,"area":"lr"},{"id":"2512.10931","title":"Asynchronous Reasoning: Training-Free Interactive Thinking LLMs","created":"2025-12-11","cited_by_count":7,"area":"lr"},{"id":"2406.02100","title":"Exploring Mathematical Extrapolation of Large Language Models with Synthetic Data","created":"2024-06-04","cited_by_count":6,"area":"lr"},{"id":"2410.10858","title":"Reasoning Paths Optimization: Learning to Reason and Explore From Diverse Paths","created":"2024-10-07","cited_by_count":6,"area":"lr"},{"id":"2502.13723","title":"Direct Value Optimization: Improving Chain-of-Thought Reasoning in LLMs with Refined Values","created":"2025-02-19","cited_by_count":6,"area":"lr"},{"id":"2505.17225","title":"Reasoning Model is Stubborn: Diagnosing Instruction Overriding in Reasoning Models","created":"2025-05-22","cited_by_count":6,"area":"lr"},{"id":"2407.04212","title":"Smart Vision-Language Reasoners","created":"2024-07-05","cited_by_count":5,"area":"lr"},{"id":"2412.18415","title":"Multilingual Mathematical Reasoning: Advancing Open-Source LLMs in Hindi and English","created":"2024-12-24","cited_by_count":5,"area":"lr"},{"id":"2503.03238","title":"FANS -- Formal Answer Selection for Natural Language Math Reasoning Using Lean4","created":"2025-03-05","cited_by_count":5,"area":"lr"}],"next_cursor":"100"}