{"total":100,"rows":[{"id":"2503.06749","title":"Vision-R1: Incentivizing Reasoning Capability in Multimodal Large Language Models","created":"2025-03-09","cited_by_count":665,"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":"2504.11354","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","created":"2025-04-15","cited_by_count":180,"area":"lr"},{"id":"2504.02546","title":"GPG: A Simple and Strong Reinforcement Learning Baseline for Model Reasoning","created":"2025-04-03","cited_by_count":150,"area":"lr"},{"id":"2504.07934","title":"SoTA with Less: MCTS-Guided Sample Selection for Data-Efficient Visual Reasoning Self-Improvement","created":"2025-04-10","cited_by_count":145,"area":"lr"},{"id":"2501.13926","title":"Can We Generate Images with CoT? Let's Verify and Reinforce Image Generation Step by Step","created":"2025-01-23","cited_by_count":131,"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":"2507.23726","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","created":"2025-07-31","cited_by_count":101,"area":"lr"},{"id":"2506.24119","title":"SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learning","created":"2025-06-30","cited_by_count":100,"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":"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":"2505.02735","title":"FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models","created":"2025-05-05","cited_by_count":48,"area":"lr"},{"id":"2409.12568","title":"InfiMM-WebMath-40B: Advancing Multimodal Pre-Training for Enhanced Mathematical Reasoning","created":"2024-09-19","cited_by_count":36,"area":"lr"},{"id":"2505.23590","title":"Jigsaw-R1: A Study of Rule-based Visual Reinforcement Learning with Jigsaw Puzzles","created":"2025-05-29","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":"2505.05758","title":"APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning","created":"2025-05-09","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":"2508.10433","title":"We-Math 2.0: A Versatile MathBook System for Incentivizing Visual Mathematical Reasoning","created":"2025-08-14","cited_by_count":32,"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":"2601.21590","title":"Scalable Power Sampling: Unlocking Efficient, Training-Free Reasoning for LLMs via Distribution Sharpening","created":"2026-01-29","cited_by_count":31,"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":"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":"2510.13554","title":"Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm Enables Fine-Grained Policy Optimization","created":"2025-10-15","cited_by_count":25,"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":"2411.01829","title":"Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically","created":"2024-11-04","cited_by_count":22,"area":"lr"},{"id":"2509.18883","title":"Introducing LongCat-Flash-Thinking: A Technical Report","created":"2025-09-23","cited_by_count":22,"area":"lr"},{"id":"2602.06176","title":"Large Language Model Reasoning Failures","created":"2026-02-05","cited_by_count":21,"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.11225","title":"HAPO: Training Language Models to Reason Concisely via History-Aware Policy Optimization","created":"2025-05-16","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":"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":"2505.12366","title":"DisCO: Reinforcing Large Reasoning Models with Discriminative Constrained Optimization","created":"2025-05-18","cited_by_count":16,"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":"2504.13828","title":"Generative AI Act II: Test Time Scaling Drives Cognition Engineering","created":"2025-04-18","cited_by_count":15,"area":"lr"},{"id":"2503.08525","title":"GTR: Guided Thought Reinforcement Prevents Thought Collapse in RL-based VLM Agent Training","created":"2025-03-11","cited_by_count":14,"area":"lr"},{"id":"2505.24869","title":"SiLVR: A Simple Language-based Video Reasoning Framework","created":"2025-05-30","cited_by_count":14,"area":"lr"},{"id":"2602.14338","title":"Train Less, Learn More: Adaptive Efficient Rollout Optimization for Group-Based Reinforcement Learning","created":"2026-02-15","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":"2606.03303","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","created":"2026-06-02","cited_by_count":12,"area":"lr"},{"id":"2409.04214","title":"Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver","created":"2024-09-06","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":"2502.00271","title":"Scaling Flaws of Verifier-Guided Search in Mathematical Reasoning","created":"2025-02-01","cited_by_count":10,"area":"lr"},{"id":"2505.04364","title":"Benchmarking LLMs' Swarm intelligence","created":"2025-05-07","cited_by_count":10,"area":"lr"},{"id":"2602.13103","title":"R-Diverse: Mitigating Diversity Illusion in Self-Play LLM Training","created":"2026-02-13","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":"2503.24320","title":"Can Test-Time Scaling Improve World Foundation Model?","created":"2025-03-31","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":"2506.10903","title":"Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning","created":"2025-06-12","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":"2411.14251","title":"Natural Language Reinforcement Learning","created":"2024-11-21","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":"2507.14419","title":"It's Not That Simple. An Analysis of Simple Test-Time Scaling","created":"2025-07-19","cited_by_count":5,"area":"lr"},{"id":"2603.20224","title":"Beyond Test-Time Compute Strategies: Advocating Energy-per-Token in LLM Inference","created":"2026-03-04","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":"2503.04813","title":"Self-Evolved Preference Optimization for Enhancing Mathematical Reasoning in Small Language Models","created":"2025-03-04","cited_by_count":4,"area":"lr"},{"id":"2507.11275","title":"FMC: Formalization of Natural Language Mathematical Competition Problems","created":"2025-07-15","cited_by_count":4,"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":"2510.04850","title":"Detecting Distillation Data from Reasoning Models","created":"2025-10-06","cited_by_count":4,"area":"lr"},{"id":"2510.08899","title":"Pinpointing crucial steps: Attribution-based Credit Assignment for Verifiable Reinforcement Learning","created":"2025-10-10","cited_by_count":4,"area":"lr"},{"id":"2511.07368","title":"Distributional Biases in Post-Training: A Markovian Analysis of Reasoning Trajectories","created":"2025-11-10","cited_by_count":4,"area":"lr"},{"id":"2604.05868","title":"Understanding Performance Gap Between Parallel and Sequential Sampling in Large Reasoning Models","created":"2026-04-07","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":"2507.14335","title":"ProofCompass: Enhancing Specialized Provers with LLM Guidance","created":"2025-07-18","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":"2606.10646","title":"How Does Reasoning Flow? Tracing Attention-Induced Information Flow for Targeted RL in LLMs","created":"2026-06-09","cited_by_count":3,"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.10594","title":"CRPE: Expanding The Reasoning Capability of Large Language Model for Code Generation","created":"2025-05-15","cited_by_count":2,"area":"lr"},{"id":"2505.24217","title":"Semi-structured LLM Reasoners Can Be Rigorously Audited","created":"2025-05-30","cited_by_count":2,"area":"lr"},{"id":"2506.04205","title":"EPiC: Towards Lossless Speedup for Reasoning Training through Edge-Preserving CoT Condensation","created":"2025-06-04","cited_by_count":2,"area":"lr"},{"id":"2507.02541","title":"Clarifying Before Reasoning: A Coq Prover with Structural Context","created":"2025-07-03","cited_by_count":2,"area":"lr"},{"id":"2512.17206","title":"Reasoning Palette: Modulating Reasoning via Latent Contextualization for Controllable Exploration for (V)LMs","created":"2025-12-19","cited_by_count":2,"area":"lr"},{"id":"2607.12650","title":"Evidence-Grounded Verified Agentic Reasoning: A Path Toward Eliminating LLM Hallucination in Empirical Inference via Tool-Attested Kernel Proofs","created":"2026-07-14","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":"2506.22075","title":"Reasoning in machine vision by learning fast and slow thinking","created":"2025-06-27","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.20770","title":"Pipeline for Verifying LLM-Generated Mathematical Solutions","created":"2026-02-24","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.25832","title":"MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources","created":"2026-06-24","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":"2510.21807","title":"Activating Visual Context and Commonsense Reasoning through Masked Prediction in VLMs","created":"2025-10-21","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.09012","title":"Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics","created":"2026-05-09","cited_by_count":0,"area":"lr"},{"id":"2605.09079","title":"CauSim: Scaling Causal Reasoning with Increasingly Complex Causal Simulators","created":"2026-05-09","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":"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":"2608.25449","title":"MathAdv: What Theorem Provers Know, Reason, Formalize, and Generalize","created":"2026-08-26","cited_by_count":0,"area":"lr"},{"id":"2610.04280","title":"Dense Neuro-Symbolic Reasoning in a Unified Geometry State","created":"2026-10-03","cited_by_count":0,"area":"lr"}],"next_cursor":null}