{"total":52,"rows":[{"id":"2507.15855","title":"Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline","created":"2025-07-21","cited_by_count":82,"area":null},{"id":"2509.19803","title":"VCRL: Variance-based Curriculum Reinforcement Learning for Large Language Models","created":"2025-09-24","cited_by_count":36,"area":"lr"},{"id":"2509.25849","title":"Knapsack RL: Unlocking Exploration of LLMs via Optimizing Budget Allocation","created":"2025-09-30","cited_by_count":22,"area":null},{"id":"2602.03955","title":"AgentArk: Distilling Multi-Agent Intelligence into a Single LLM Agent","created":"2026-02-03","cited_by_count":13,"area":"lr"},{"id":"2510.25992","title":"Supervised Reinforcement Learning: From Expert Trajectories to Step-wise Reasoning","created":"2025-10-29","cited_by_count":11,"area":"lr"},{"id":"2603.04191","title":"Towards Natural Personalization: Evaluating Long-Horizon Preference Following in Personalized User-LLM Interactions","created":"2026-03-04","cited_by_count":10,"area":null},{"id":"2601.05106","title":"Token-Level LLM Collaboration via FusionRoute","created":"2026-01-08","cited_by_count":9,"area":null},{"id":"2606.03135","title":"Uncertainty-Aware Clarification in LLM Agents with Information Gain","created":"2026-06-02","cited_by_count":8,"area":"agents"},{"id":"2510.08710","title":"Thinking Longer, Not Always Smarter: Evaluating LLM Capabilities in Hierarchical Legal Reasoning","created":"2025-10-09","cited_by_count":7,"area":"lr"},{"id":"2508.01174","title":"RSPO: Risk-Seeking Policy Optimization for Pass@k and Max@k Metrics in Large Language Models","created":"2025-08-02","cited_by_count":5,"area":null},{"id":"2510.20342","title":"Teaching Language Models to Reason with Tools","created":"2025-10-23","cited_by_count":5,"area":"lr"},{"id":"2602.12056","title":"LawThinker: A Deep Research Legal Agent in Dynamic Environments","created":"2026-02-12","cited_by_count":4,"area":"lr"},{"id":"2606.18844","title":"Learning from Your Own Mistakes: Constructing Learnable Micro-Reflective Trajectories for Self-Distillation","created":"2026-06-17","cited_by_count":4,"area":"lr"},{"id":"2606.24235","title":"SP-Mind: An Autonomous Reasoning Agent for Spatial Proteomics Analysis","created":"2026-06-23","cited_by_count":4,"area":null},{"id":"2607.04655","title":"FormalRx: Rectify and eXamine Semantic Failures in Autoformalization","created":"2026-07-06","cited_by_count":4,"area":"lr"},{"id":"2508.19988","title":"AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios","created":"2025-08-27","cited_by_count":3,"area":"lr"},{"id":"2510.24792","title":"PISA-Bench: The PISA Index as a Multilingual and Multimodal Metric for the Evaluation of Vision-Language Models","created":"2025-10-27","cited_by_count":3,"area":"lr"},{"id":"2511.16278","title":"\"To Survive, I Must Defect\": Jailbreaking LLMs via the Game-Theory Scenarios","created":"2025-11-20","cited_by_count":3,"area":"safety"},{"id":"2602.08167","title":"Self-Supervised Bootstrapping of Action-Predictive Embodied Reasoning","created":"2026-02-09","cited_by_count":3,"area":"lr"},{"id":"2608.25518","title":"Agentic Game Development as a Verifiable Trajectory Data Engine for Scaling World Models","created":"2026-08-26","cited_by_count":3,"area":"wm"},{"id":"2601.09085","title":"MMR-GRPO: Accelerating GRPO-Style Training through Diversity-Aware Reward Reweighting","created":"2026-01-14","cited_by_count":2,"area":"lr"},{"id":"2603.21574","title":"Adaptive Robust Estimator for Multi-Agent Reinforcement Learning","created":"2026-03-23","cited_by_count":2,"area":"lr"},{"id":"2605.03058","title":"Neuron-Anchored Rule Extraction for Large Language Models via Contrastive Hierarchical Ablation","created":"2026-05-04","cited_by_count":2,"area":"safety"},{"id":"2605.03344","title":"RAG over Thinking Traces Can Improve Reasoning Tasks","created":"2026-05-05","cited_by_count":2,"area":"rag"},{"id":"2605.28631","title":"Single-Rollout Hidden-State Dynamics for Training-Free RLVR Data Selection","created":"2026-05-27","cited_by_count":2,"area":null},{"id":"2606.11867","title":"Harnessing Routing Foresight for Micro-step-level MoE load balancing in RL Post-training","created":"2026-06-10","cited_by_count":2,"area":"moe"},{"id":"2607.11307","title":"Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization","created":"2026-07-13","cited_by_count":2,"area":"lr"},{"id":"2508.02208","title":"Proof2Hybrid: Automatic Mathematical Benchmark Synthesis for Proof-Centric Problems","created":"2025-08-04","cited_by_count":1,"area":null},{"id":"2512.06533","title":"Beyond Token-level Supervision: Unlocking the Potential of Decoding-based Regression via Reinforcement Learning","created":"2025-12-06","cited_by_count":1,"area":"deeprl"},{"id":"2512.16914","title":"Constructive Circuit Amplification: Improving Math Reasoning in LLMs via Targeted Sub-Network Updates","created":"2025-12-18","cited_by_count":1,"area":"lr"},{"id":"2603.18411","title":"TARo: Token-level Adaptive Routing for LLM Test-time Alignment","created":"2026-03-19","cited_by_count":1,"area":"lr"},{"id":"2606.29894","title":"SABER-Math: Automated Benchmark for Information Retrieval Evaluation in Mathematics","created":"2026-06-29","cited_by_count":1,"area":"agents"},{"id":"2608.03545","title":"Hi-TTRL: Regulating Consensus with Hints for Test-Time Reinforcement Learning","created":"2026-08-04","cited_by_count":1,"area":"lr"},{"id":"2608.08623","title":"MedCalc-R1: Knowledge-Guided Reward Framework for Medical Mathematical Reasoning","created":"2026-08-09","cited_by_count":1,"area":"lr"},{"id":"2509.18169","title":"PiERN: Token-Level Routing for Integrating High-Precision Computation and Reasoning","created":"2025-09-17","cited_by_count":0,"area":"lr"},{"id":"2511.14684","title":"SMRC: Aligning Large Language Models with Student Reasoning for Mathematical Error Correction","created":"2025-11-18","cited_by_count":0,"area":"lr"},{"id":"2601.01774","title":"Can Large Language Models Solve Engineering Equations? A Systematic Comparison of Direct Prediction and Solver-Assisted Approaches","created":"2026-01-05","cited_by_count":0,"area":null},{"id":"2601.03682","title":"From Implicit to Explicit: Token-Efficient Logical Supervision for Mathematical Reasoning in LLMs","created":"2026-01-07","cited_by_count":0,"area":"lr"},{"id":"2601.21909","title":"From Meta-Thought to Execution: Cognitively Aligned Post-Training for Generalizable and Reliable LLM Reasoning","created":"2026-01-29","cited_by_count":0,"area":"lr"},{"id":"2601.22491","title":"SSL: Sweet Spot Learning for Differentiated Guidance in Agentic Optimization","created":"2026-01-30","cited_by_count":0,"area":"agents"},{"id":"2602.00998","title":"Reliable Use of Lemmas via Eligibility Reasoning and Section$-$Aware Reinforcement Learning","created":"2026-02-01","cited_by_count":0,"area":"lr"},{"id":"2602.14517","title":"Large Language Models for Math Education in Low-Resource Languages: A Study in Sinhala and Tamil","created":"2026-02-16","cited_by_count":0,"area":"lr"},{"id":"2603.05818","title":"RouteGoT: Node-Adaptive Routing for Cost-Efficient Graph of Thoughts Reasoning","created":"2026-03-06","cited_by_count":0,"area":"lr"},{"id":"2603.23355","title":"Off-Policy Value-Based Reinforcement Learning for Large Language Models","created":"2026-03-24","cited_by_count":0,"area":"lr"},{"id":"2605.18083","title":"A Data-Efficient Path to Multilingual LLMs: Language Expansion via Post-training PARAM$\\Delta$ Integration into Upcycled MoE","created":"2026-05-18","cited_by_count":0,"area":"moe"},{"id":"2605.27709","title":"ReverseMath: Answer Inversion for Scalable and Verifiable Mathematical Problem Generation","created":"2026-05-26","cited_by_count":0,"area":"lr"},{"id":"2605.27846","title":"EAPO: Entropy-Driven Adaptive Positive-Negative Sample Weighting for Policy Optimization in Open-Ended QA","created":"2026-05-27","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.31308","title":"Benchmarking Large Language Models on Floating-Point Error Classification","created":"2026-06-30","cited_by_count":0,"area":null},{"id":"2607.06820","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","created":"2026-07-07","cited_by_count":0,"area":"agents"},{"id":"2607.20712","title":"Evaluating Large Language Models for Symbolic Security Protocol Analysis","created":"2026-07-22","cited_by_count":0,"area":null},{"id":"2608.26950","title":"From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilities","created":"2026-08-27","cited_by_count":0,"area":"lr"}],"next_cursor":null}