{"total":49,"rows":[{"id":"2509.25300","title":"Scaling Behaviors of LLM Reinforcement Learning Post-Training: An Empirical Study in Mathematical Reasoning","created":"2025-09-29","cited_by_count":29,"area":"lr"},{"id":"2604.03789","title":"Automated Conjecture Resolution with Formal Verification","created":"2026-04-04","cited_by_count":28,"area":"lr"},{"id":"2510.16380","title":"MoReBench: Evaluating Procedural and Pluralistic Moral Reasoning in Language Models, More than Outcomes","created":"2025-10-18","cited_by_count":23,"area":"lr"},{"id":"2601.14209","title":"InT: Self-Proposed Interventions Enable Credit Assignment in LLM Reasoning","created":"2026-01-20","cited_by_count":14,"area":"lr"},{"id":"2510.20956","title":"Self-Jailbreaking: Language Models Can Reason Themselves Out of Safety Alignment After Benign Reasoning Training","created":"2025-10-23","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":"2511.18760","title":"HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs","created":"2025-11-24","cited_by_count":11,"area":"lr"},{"id":"2510.01459","title":"LSPO: Length-aware Dynamic Sampling for Policy Optimization in LLM Reasoning","created":"2025-10-01","cited_by_count":9,"area":"lr"},{"id":"2512.05105","title":"Semantic Soft Bootstrapping: Long Context Reasoning in LLMs without Reinforcement Learning","created":"2025-12-04","cited_by_count":9,"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":"2511.08151","title":"SciAgent: A Unified Multi-Agent System for Generalistic Scientific Reasoning","created":"2025-11-11","cited_by_count":7,"area":"lr"},{"id":"2509.06079","title":"Multimodal Reasoning for Science: Technical Report and 1st Place Solution to the ICML 2025 SeePhys Challenge","created":"2025-09-07","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":"2510.06410","title":"Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?","created":"2025-10-07","cited_by_count":5,"area":"lr"},{"id":"2510.09302","title":"CapGeo-Bench: Decoupling Visual Perception from Reasoning and Evaluating Geometric Understanding","created":"2025-10-10","cited_by_count":5,"area":"lr"},{"id":"2511.11373","title":"MarsRL: Advancing Multi-Agent Reasoning System via Reinforcement Learning with Agentic Pipeline Parallelism","created":"2025-11-14","cited_by_count":4,"area":"lr"},{"id":"2512.10739","title":"Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving","created":"2025-12-11","cited_by_count":4,"area":"lr"},{"id":"2605.20531","title":"Pseudo-Formalization for Automatic Proof Verification","created":"2026-05-19","cited_by_count":4,"area":"lr"},{"id":"2509.21482","title":"Learning to Reason with Mixture of Tokens","created":"2025-09-25","cited_by_count":3,"area":"lr"},{"id":"2510.17498","title":"Deep Self-Evolving Reasoning","created":"2025-10-20","cited_by_count":3,"area":"lr"},{"id":"2511.11519","title":"Experience-Guided Adaptation of Inference-Time Reasoning Strategies","created":"2025-11-14","cited_by_count":3,"area":"lr"},{"id":"2511.21522","title":"Pessimistic Verification for Open Ended Math Questions","created":"2025-11-26","cited_by_count":3,"area":"lr"},{"id":"2512.00997","title":"IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch","created":"2025-11-30","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.23595","title":"SPIRAL: Learning to Search and Aggregate","created":"2026-06-22","cited_by_count":3,"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":"2602.19517","title":"Classroom Final Exam: An Instructor-Tested Reasoning Benchmark","created":"2026-02-23","cited_by_count":2,"area":"lr"},{"id":"2603.07725","title":"Verifiable Reasoning for LLM-based Generative Recommendation","created":"2026-03-08","cited_by_count":2,"area":"lr"},{"id":"2605.30290","title":"Self-Trained Verification for Training- and Test-Time Self-Improvement","created":"2026-05-28","cited_by_count":2,"area":"lr"},{"id":"2606.02218","title":"Faster Synchronous On-Policy RL via Straggler-Aware Group Sizing","created":"2026-06-01","cited_by_count":2,"area":"lr"},{"id":"2602.19069","title":"Asking the Right Questions: Improving Reasoning with Generated Stepping Stones","created":"2026-02-22","cited_by_count":1,"area":"lr"},{"id":"2602.21317","title":"Shared Nature, Unique Nurture: PRISM for Pluralistic Reasoning via In-context Structure Modeling","created":"2026-02-24","cited_by_count":1,"area":"lr"},{"id":"2604.18936","title":"Fine-Tuning Small Reasoning Models for Quantum Field Theory","created":"2026-04-21","cited_by_count":1,"area":"lr"},{"id":"2605.10344","title":"TMAS: Scaling Test-Time Compute via Multi-Agent Synergy","created":"2026-05-11","cited_by_count":1,"area":"lr"},{"id":"2605.19338","title":"STAR-P\\'olyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision","created":"2026-05-19","cited_by_count":1,"area":"lr"},{"id":"2606.00660","title":"FineVerify: Scaling Test-Time Compute with Fine-Grained Self-Verification for Agentic Search","created":"2026-05-30","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":"2609.11319","title":"Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification","created":"2026-09-10","cited_by_count":1,"area":"lr"},{"id":"2510.01569","title":"InvThink: Premortem Reasoning for Safer Language Models","created":"2025-10-02","cited_by_count":0,"area":"lr"},{"id":"2511.15738","title":"Extending Test-Time Scaling: A 3D Perspective with Context, Batch, and Turn","created":"2025-11-18","cited_by_count":0,"area":"lr"},{"id":"2512.18857","title":"CORE: Concept-Oriented Reinforcement for Bridging the Definition-Application Gap in Mathematical Reasoning","created":"2025-12-21","cited_by_count":0,"area":"lr"},{"id":"2604.15851","title":"DPrivBench: Benchmarking LLMs' Reasoning for Differential Privacy","created":"2026-04-17","cited_by_count":0,"area":"lr"},{"id":"2605.15012","title":"Boosting Reinforcement Learning with Verifiable Rewards via Randomly Selected Few-Shot Guidance","created":"2026-05-14","cited_by_count":0,"area":"lr"},{"id":"2605.26414","title":"Reasoning, Code, or Both? How Large Language Models Handle Variations in Math Questions","created":"2026-05-26","cited_by_count":0,"area":"lr"},{"id":"2606.01182","title":"CA-BED: Conversation-Aware Bayesian Experimental Design","created":"2026-05-31","cited_by_count":0,"area":"lr"},{"id":"2606.10479","title":"ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics","created":"2026-06-09","cited_by_count":0,"area":"lr"},{"id":"2608.18011","title":"The IOL-AI Challenge: An Open Challenge towards Advancing Linguistic Reasoning","created":"2026-08-18","cited_by_count":0,"area":"lr"},{"id":"2609.33485","title":"DISCO: Distributed Long Context Scaling with Grounding-Reasoning Disaggregation","created":"2026-09-27","cited_by_count":0,"area":"lr"},{"id":"2610.05322","title":"When Does Longer Reasoning Help? Predicting Mathematical Reasoning Through Discovery and Execution","created":"2026-10-04","cited_by_count":0,"area":"lr"}],"next_cursor":null}