{"total":103,"rows":[{"id":"2505.03335","title":"Absolute Zero: Reinforced Self-play Reasoning with Zero Data","created":"2025-05-06","cited_by_count":344,"area":"lr"},{"id":"2509.08827","title":"A Survey of Reinforcement Learning for Large Reasoning Models","created":"2025-09-10","cited_by_count":180,"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":"2511.22570","title":"DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning","created":"2025-11-27","cited_by_count":94,"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":"2508.16949","title":"Breaking the Exploration Bottleneck: Rubric-Scaffolded Reinforcement Learning for General LLM Reasoning","created":"2025-08-23","cited_by_count":63,"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":"2505.12864","title":"LEXam: Benchmarking Legal Reasoning on 340 Law Exams","created":"2025-05-19","cited_by_count":54,"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":"2507.15225","title":"Solving Formal Math Problems by Decomposition and Iterative Reflection","created":"2025-07-21","cited_by_count":35,"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":"2505.14810","title":"Scaling Reasoning, Losing Control: Evaluating Instruction Following in Large Reasoning Models","created":"2025-05-20","cited_by_count":28,"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":"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":"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":"2505.24098","title":"HardTests: Synthesizing High-Quality Test Cases for LLM Coding","created":"2025-05-30","cited_by_count":23,"area":"lr"},{"id":"2509.18883","title":"Introducing LongCat-Flash-Thinking: A Technical Report","created":"2025-09-23","cited_by_count":22,"area":"lr"},{"id":"2506.07927","title":"Solving Inequality Proofs with Large Language Models","created":"2025-06-09","cited_by_count":21,"area":"lr"},{"id":"2507.04136","title":"A Technical Survey of Reinforcement Learning Techniques for Large Language Models","created":"2025-07-05","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.24592","title":"ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization","created":"2025-10-28","cited_by_count":20,"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":"2505.12366","title":"DisCO: Reinforcing Large Reasoning Models with Discriminative Constrained Optimization","created":"2025-05-18","cited_by_count":16,"area":"lr"},{"id":"2508.04440","title":"StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion","created":"2025-08-06","cited_by_count":16,"area":"lr"},{"id":"2505.02686","title":"Sailing by the Stars: A Survey on Reward Models and Learning Strategies for Learning from Rewards","created":"2025-05-05","cited_by_count":14,"area":"lr"},{"id":"2601.12294","title":"ToolPRMBench: Evaluating and Advancing Process Reward Models for Tool-using Agents","created":"2026-01-18","cited_by_count":14,"area":"lr"},{"id":"2507.00833","title":"HumanoidGen: Data Generation for Bimanual Dexterous Manipulation via LLM Reasoning","created":"2025-07-01","cited_by_count":13,"area":"lr"},{"id":"2507.20199","title":"StepFun-Prover Preview: Let's Think and Verify Step by Step","created":"2025-07-27","cited_by_count":13,"area":"lr"},{"id":"2509.17677","title":"EngiBench: A Benchmark for Evaluating Large Language Models on Engineering Problem Solving","created":"2025-09-22","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.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":"2506.07712","title":"Through the Valley: Path to Effective Long CoT Training for Small Language Models","created":"2025-06-09","cited_by_count":11,"area":"lr"},{"id":"2510.20603","title":"What Defines Good Reasoning in LLMs? Dissecting Reasoning Steps with Multi-Aspect Evaluation","created":"2025-10-23","cited_by_count":10,"area":"lr"},{"id":"2602.16793","title":"Escaping the Cognitive Well: Efficient Competition Math with Off-the-Shelf Models","created":"2026-02-18","cited_by_count":9,"area":"lr"},{"id":"2506.17104","title":"Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving","created":"2025-06-20","cited_by_count":8,"area":"lr"},{"id":"2505.14479","title":"Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry","created":"2025-05-20","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":"2508.14644","title":"LeanGeo: Formalizing Competitional Geometry problems in Lean","created":"2025-08-20","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":"2509.07966","title":"Visual-TableQA: Open-Domain Benchmark for Reasoning over Table Images","created":"2025-09-09","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":"2512.19081","title":"Population-Evolve: a Parallel Sampling and Evolutionary Method for LLM Math Reasoning","created":"2025-12-22","cited_by_count":6,"area":"lr"},{"id":"2506.04821","title":"LogicPuzzleRL: Cultivating Robust Mathematical Reasoning in LLMs via Reinforcement Learning","created":"2025-06-05","cited_by_count":5,"area":"lr"},{"id":"2510.19842","title":"DAG-Math: Graph-of-Thought Guided Mathematical Reasoning in LLMs","created":"2025-10-19","cited_by_count":5,"area":"lr"},{"id":"2601.21210","title":"Uncovering Hidden Correctness in LLM Causal Reasoning via Symbolic Verification","created":"2026-01-29","cited_by_count":5,"area":"lr"},{"id":"2601.22642","title":"Pushing the Boundaries of Natural Reasoning: Interleaved Bonus from Formal-Logic Verification","created":"2026-01-30","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":"2604.24198","title":"Rewarding the Scientific Process: Process-Level Reward Modeling for Agentic Data Analysis","created":"2026-04-27","cited_by_count":5,"area":"lr"},{"id":"2608.10916","title":"FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation","created":"2026-08-11","cited_by_count":5,"area":"lr"},{"id":"2608.31075","title":"Scaling Large Reasoning Models beyond Human Supervision: A Path toward Superintelligence","created":"2026-08-31","cited_by_count":5,"area":"lr"},{"id":"2602.02477","title":"Training LLMs for Divide-and-Conquer Reasoning Elevates Test-Time Scalability","created":"2026-02-02","cited_by_count":4,"area":"lr"},{"id":"2604.05164","title":"Not All Turns Are Equally Hard: Adaptive Thinking Budgets For Efficient Multi-Turn Reasoning in Agents","created":"2026-04-06","cited_by_count":4,"area":"lr"},{"id":"2604.23002","title":"FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean","created":"2026-04-24","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":"2607.04655","title":"FormalRx: Rectify and eXamine Semantic Failures in Autoformalization","created":"2026-07-06","cited_by_count":4,"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":"2512.05962","title":"Whatever Remains Must Be True: Filtering Drives Reasoning in LLMs, Shaping Diversity","created":"2025-12-05","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":"2507.09374","title":"EduFlow: Advancing MLLMs' Problem-Solving Proficiency through Multi-Stage, Multi-Perspective Critique","created":"2025-07-12","cited_by_count":2,"area":"lr"},{"id":"2510.07486","title":"AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding","created":"2025-10-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":"2602.03468","title":"IntentRL: Training Proactive User-intent Agents for Open-ended Deep Research via Reinforcement Learning","created":"2026-02-03","cited_by_count":2,"area":"lr"},{"id":"2607.11307","title":"Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization","created":"2026-07-13","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":"2509.24351","title":"From Static to Dynamic: Adaptive Monte Carlo Search for Mathematical Process Supervision","created":"2025-09-29","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":"2603.22363","title":"Early Discoveries of Algorithmist I: Promise of Provable Algorithm Synthesis at Scale","created":"2026-03-23","cited_by_count":1,"area":"lr"},{"id":"2604.19558","title":"On Reasoning-Centric LLM-based Automated Theorem Proving","created":"2026-04-21","cited_by_count":1,"area":"lr"},{"id":"2604.25419","title":"JURY-RL: Votes Propose, Proofs Dispose for Label-Free RLVR","created":"2026-04-28","cited_by_count":1,"area":"lr"},{"id":"2604.27859","title":"Rethinking Agentic Reinforcement Learning In Large Language Models","created":"2026-04-30","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"},{"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.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":"2607.14178","title":"ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System","created":"2026-07-15","cited_by_count":1,"area":"lr"},{"id":"2607.17352","title":"Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution","created":"2026-07-19","cited_by_count":1,"area":"lr"},{"id":"2609.21492","title":"LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers","created":"2026-09-18","cited_by_count":1,"area":"lr"},{"id":"2604.05399","title":"PROMISE: Proof Automation as Structural Imitation of Human Reasoning","created":"2026-04-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.13515","title":"SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization","created":"2026-04-15","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.18050","title":"The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data","created":"2026-04-20","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.00677","title":"Evaluating the Architectural Reasoning Capabilities of LLM Provers via the Obfuscated Natural Number Game","created":"2026-05-01","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":"2605.17255","title":"CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean","created":"2026-05-17","cited_by_count":0,"area":"lr"},{"id":"2606.15972","title":"Formalize Once, Edit the Rest: Efficient Lean-Based Answer Selection for Math Reasoning","created":"2026-06-14","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":"2607.03963","title":"Neuro-Symbolic Reasoning for Vulnerability Detection","created":"2026-07-04","cited_by_count":0,"area":"lr"},{"id":"2607.11258","title":"TreeThink: A Modular Tree Search Library for Mathematical Reasoning with LLMs","created":"2026-07-13","cited_by_count":0,"area":"lr"},{"id":"2607.12733","title":"LLMs Can See the Smoke but not the Fire: Evaluating Abductive Reasoning with Elenchos","created":"2026-07-14","cited_by_count":0,"area":"lr"},{"id":"2608.25449","title":"MathAdv: What Theorem Provers Know, Reason, Formalize, and Generalize","created":"2026-08-26","cited_by_count":0,"area":"lr"},{"id":"2609.30192","title":"SAGE: Mitigating Long-Horizon Reasoning Biases via Topological Guidance","created":"2026-09-24","cited_by_count":0,"area":"lr"},{"id":"2610.01729","title":"Function-Structured Reinforcement Learning with Executable Verifiers for Mathematical Reasoning","created":"2026-10-01","cited_by_count":0,"area":"lr"}],"next_cursor":"100"}