{"total":104,"rows":[{"id":"2501.19393","title":"s1: Simple test-time scaling","created":"2025-01-31","cited_by_count":1341,"area":"lr"},{"id":"2501.04519","title":"rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking","created":"2025-01-08","cited_by_count":313,"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":"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":"2505.24298","title":"AReaL: A Large-Scale Asynchronous Reinforcement Learning System for Language Reasoning","created":"2025-05-30","cited_by_count":250,"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":"2504.09037","title":"A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic Systems","created":"2025-04-12","cited_by_count":111,"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":"2410.01707","title":"Interpretable Contrastive Monte Carlo Tree Search Reasoning","created":"2024-10-02","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":"2410.10878","title":"Herald: A Natural Language Annotated Lean 4 Dataset","created":"2024-10-09","cited_by_count":59,"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":"2502.19328","title":"Agentic Reward Modeling: Integrating Human Preferences with Verifiable Correctness Signals for Reliable Reward Systems","created":"2025-02-26","cited_by_count":51,"area":"lr"},{"id":"2503.24377","title":"Harnessing the Reasoning Economy: A Survey of Efficient Reasoning for Large Language Models","created":"2025-03-31","cited_by_count":36,"area":"lr"},{"id":"2410.06209","title":"LeanAgent: Lifelong Learning for Formal Theorem Proving","created":"2024-10-08","cited_by_count":35,"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":"2412.20735","title":"HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving","created":"2024-12-30","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":"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":"2504.09772","title":"Two Heads are Better Than One: Test-time Scaling of Multi-agent Collaborative Reasoning","created":"2025-04-14","cited_by_count":29,"area":"lr"},{"id":"2505.21600","title":"R2R: Efficiently Navigating Divergent Reasoning Paths with Small-Large Model Token Routing","created":"2025-05-27","cited_by_count":29,"area":"lr"},{"id":"2509.06493","title":"Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers","created":"2025-09-08","cited_by_count":28,"area":"lr"},{"id":"2504.06122","title":"Leanabell-Prover: Posttraining Scaling in Formal Reasoning","created":"2025-04-08","cited_by_count":27,"area":"lr"},{"id":"2507.08649","title":"Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning","created":"2025-07-11","cited_by_count":27,"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":"2504.07052","title":"To Backtrack or Not to Backtrack: When Sequential Search Limits Model Reasoning","created":"2025-04-09","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":"2502.00963","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","created":"2025-02-03","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":"2505.14625","title":"TinyV: Reducing False Negatives in Verification Improves RL for LLM Reasoning","created":"2025-05-20","cited_by_count":21,"area":"lr"},{"id":"2506.07927","title":"Solving Inequality Proofs with Large Language Models","created":"2025-06-09","cited_by_count":21,"area":"lr"},{"id":"2505.22960","title":"Revisiting Multi-Agent Debate as Test-Time Scaling: A Systematic Study of Conditional Effectiveness","created":"2025-05-29","cited_by_count":20,"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":"2410.12854","title":"TPO: Aligning Large Language Models with Multi-branch & Multi-step Preference Trees","created":"2024-10-10","cited_by_count":19,"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":"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":"2507.06181","title":"CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization","created":"2025-07-08","cited_by_count":16,"area":"lr"},{"id":"2506.09820","title":"CoRT: Code-integrated Reasoning within Thinking","created":"2025-06-11","cited_by_count":15,"area":"lr"},{"id":"2409.12929","title":"LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning","created":"2024-09-19","cited_by_count":14,"area":"lr"},{"id":"2502.13137","title":"Theorem Prover as a Judge for Synthetic Data Generation","created":"2025-02-18","cited_by_count":14,"area":"lr"},{"id":"2504.09440","title":"Enhancing Mathematical Reasoning in Large Language Models with Self-Consistency-Based Hallucination Detection","created":"2025-04-13","cited_by_count":13,"area":"lr"},{"id":"2505.20196","title":"Temporal Sampling for Forgotten Reasoning in LLMs","created":"2025-05-26","cited_by_count":12,"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":"2410.16930","title":"Math Neurosurgery: Isolating Language Models' Math Reasoning Abilities Using Only Forward Passes","created":"2024-10-22","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":"2505.00016","title":"Sparks of Tabular Reasoning via Text2SQL Reinforcement Learning","created":"2025-04-23","cited_by_count":9,"area":"lr"},{"id":"2503.10573","title":"Evaluating Mathematical Reasoning Across Large Language Models: A Fine-Grained Approach","created":"2025-03-13","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":"2506.07971","title":"CyberV: Cybernetics for Test-time Scaling in Video Understanding","created":"2025-06-09","cited_by_count":8,"area":"lr"},{"id":"2602.12279","title":"UniT: Unified Multimodal Chain-of-Thought Test-time Scaling","created":"2026-02-12","cited_by_count":8,"area":"lr"},{"id":"2601.04525","title":"GRACE: Reinforcement Learning for Grounded Response and Abstention under Contextual Evidence","created":"2026-01-08","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":"2502.09955","title":"Diverse Inference and Verification for Advanced Reasoning","created":"2025-02-14","cited_by_count":6,"area":"lr"},{"id":"2505.20415","title":"Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision","created":"2025-05-26","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":"2502.20545","title":"SoS1: O1 and R1-Like Reasoning LLMs are Sum-of-Square Solvers","created":"2025-02-27","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"},{"id":"2505.20869","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","created":"2025-05-27","cited_by_count":5,"area":"lr"},{"id":"2506.21575","title":"STRuCT-LLM: Unifying Tabular and Graph Reasoning with Reinforcement Learning for Semantic Parsing","created":"2025-06-15","cited_by_count":5,"area":"lr"},{"id":"2510.20342","title":"Teaching Language Models to Reason with Tools","created":"2025-10-23","cited_by_count":5,"area":"lr"},{"id":"2603.19514","title":"Learning to Disprove: Formal Counterexample Generation with Large Language Models","created":"2026-03-19","cited_by_count":5,"area":"lr"},{"id":"2410.13224","title":"Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning","created":"2024-10-17","cited_by_count":4,"area":"lr"},{"id":"2504.09100","title":"A Short Survey on Small Reasoning Models: Training, Inference, Applications and Research Directions","created":"2025-04-12","cited_by_count":4,"area":"lr"},{"id":"2604.11805","title":"Solving Physics Olympiad via Reinforcement Learning on Physics Simulators","created":"2026-04-13","cited_by_count":4,"area":"lr"},{"id":"2606.12594","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","created":"2026-06-10","cited_by_count":4,"area":"lr"},{"id":"2606.31134","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","created":"2026-06-30","cited_by_count":4,"area":"lr"},{"id":"2506.00845","title":"Generalizable LLM Learning of Graph Synthetic Data with Post-training Alignment","created":"2025-06-01","cited_by_count":3,"area":"lr"},{"id":"2510.05871","title":"Towards Label-Free Biological Reasoning Synthetic Dataset Creation via Uncertainty Filtering","created":"2025-10-07","cited_by_count":3,"area":"lr"},{"id":"2502.11901","title":"Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity","created":"2025-02-17","cited_by_count":2,"area":"lr"},{"id":"2509.06809","title":"Saturation-Driven Dataset Generation for LLM Mathematical Reasoning in the TPTP Ecosystem","created":"2025-09-08","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.20760","title":"Generalization of RLVR Using Causal Reasoning as a Testbed","created":"2025-12-23","cited_by_count":2,"area":"lr"},{"id":"2601.16447","title":"Mixing Expert Knowledge: Bring Human Thoughts Back To the Game of Go","created":"2026-01-23","cited_by_count":2,"area":"lr"},{"id":"2603.02208","title":"Reasoning Core: A Scalable Procedural Data Generation Suite for Symbolic Pre-training and Post-Training","created":"2026-03-02","cited_by_count":2,"area":"lr"},{"id":"2605.08817","title":"How You Begin is How You Reason: Driving Exploration in RLVR via Prefix-Tuned Priors","created":"2026-05-09","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":"2509.12603","title":"EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving","created":"2025-09-16","cited_by_count":1,"area":"lr"},{"id":"2601.06795","title":"GDEPO: Group Dual-dynamic and Equal-right Advantage Policy Optimization with Enhanced Training Data Utilization for Sample-Constrained Reinforcement Learning","created":"2026-01-11","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":"2602.20770","title":"Pipeline for Verifying LLM-Generated Mathematical Solutions","created":"2026-02-24","cited_by_count":1,"area":"lr"},{"id":"2605.07147","title":"MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries","created":"2026-05-08","cited_by_count":1,"area":"lr"},{"id":"2605.30914","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","created":"2026-05-29","cited_by_count":1,"area":"lr"},{"id":"2606.02113","title":"A Primer in Post-Training Reasoning Data: What We Know About How It Works","created":"2026-06-01","cited_by_count":1,"area":"lr"},{"id":"2606.08728","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","created":"2026-06-07","cited_by_count":1,"area":"lr"},{"id":"2606.28841","title":"LAMP: Lean-based Agentic framework with MCP and Proof Repair","created":"2026-06-27","cited_by_count":1,"area":"lr"},{"id":"2609.11319","title":"Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification","created":"2026-09-10","cited_by_count":1,"area":"lr"},{"id":"2509.01267","title":"Iterative In-Context Learning to Enhance LLMs Abstract Reasoning: The Case-Study of Algebraic Tasks","created":"2025-09-01","cited_by_count":0,"area":"lr"},{"id":"2509.20208","title":"Play by the Type Rules: Inferring Constraints for LLM Functions in Declarative Programs","created":"2025-09-24","cited_by_count":0,"area":"lr"},{"id":"2509.24207","title":"Humanline: Online Alignment as Perceptual Loss","created":"2025-09-29","cited_by_count":0,"area":"lr"},{"id":"2602.07559","title":"VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning","created":"2026-02-07","cited_by_count":0,"area":"lr"},{"id":"2604.06401","title":"ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning","created":"2026-04-07","cited_by_count":0,"area":"lr"},{"id":"2604.17010","title":"Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification","created":"2026-04-18","cited_by_count":0,"area":"lr"},{"id":"2604.18587","title":"Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs","created":"2026-03-13","cited_by_count":0,"area":"lr"},{"id":"2605.11905","title":"Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving","created":"2026-05-12","cited_by_count":0,"area":"lr"},{"id":"2606.19315","title":"Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation","created":"2026-06-17","cited_by_count":0,"area":"lr"},{"id":"2606.28747","title":"Self-Supervised Theorem Discovery in a Formal Axiomatic System","created":"2026-06-27","cited_by_count":0,"area":"lr"}],"next_cursor":"100"}