Reinforcement Learning

Legal Mathematical Reasoning with LLMs: Procedural Alignment through Two-Stage Reinforcement Learning EMNLP 2025 Let’s Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM’s Math Capability EMNLP 2025 Leveling the Playing Field: Carefully Comparing Classical and Learned Controllers for Quadrotor Trajectory Tracking RSS 2025 Leveraging Constraint Violation Signals for Action Constrained Reinforcement Learning AAAI 2025 Leveraging Correlation Across Test Platforms for Variance-Reduced Metric Estimation CoRL 2025 Leveraging Human Input to Enable Robust, Interactive, and Aligned AI Systems AAAI 2025 Leveraging Large Language Models for Active Merchant Non-player Characters IJCAI 2025 Leveraging LLM-based sentiment analysis for portfolio optimization with proximal policy optimization ACL 2025 Leveraging Offline Data in Linear Latent Contextual Bandits ICML 2025 Leveraging Skills from Unlabeled Prior Data for Efficient Online Exploration ICML 2025 Leveraging Sub-Optimal Data for Human-in-the-Loop Reinforcement Learning ICLR 2025 Linear Bandits with Partially Observable Features ICML 2025 LineFlow: A Framework to Learn Active Control of Production Lines ICML 2025 LipsNet++: Unifying Filter and Controller into a Policy Network ICML 2025 LiteSearch: Efficient Tree Search with Dynamic Exploration Budget for Math Reasoning AAAI 2025 LLaVA-Critic: Learning to Evaluate Multimodal Models CVPR 2025 LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback ACL 2025 LLM-Enhanced Self-Evolving Reinforcement Learning for Multi-Step E-Commerce Payment Fraud Risk Detection ACL 2025 LLM-Guided Probabilistic Program Induction for POMDP Model Estimation CoRL 2025 LLM-Powered User Simulator for Recommender System AAAI 2025 LLMSR@XLLM25: A Language Model-Based Pipeline for Structured Reasoning Data Construction ACL 2025 LMRL Gym: Benchmarks for Multi-Turn Reinforcement Learning with Language Models ICML 2025 LNS2+RL: Combining Multi-agent Reinforcement Learning with Large Neighborhood Search in Multi-agent Path Finding AAAI 2025 Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving ACL 2025 Local Manifold Approximation and Projection for Manifold-Aware Diffusion Planning ICML 2025