TIC-GRPO: Provable and Efficient Optimization for Reinforcement Learning from Human Feedback
cs.LG
Submitted: 2025-08-04
Updated: 2026-10-05
Comments: 27 pages
License: http://creativecommons.org/licenses/by-sa/4.0/
The gist: Group Relative Policy Optimization (GRPO) trains language models without a value critic using rewards centered within sampled response groups.
Terminology
Abstract
Group Relative Policy Optimization (GRPO) trains language models without a value critic using rewards centered within sampled response groups. We study how importance weighting, clipping, and length normalization affect its stochastic updates and propose Trajectory-level Importance-Corrected GRPO (TIC-GRPO), combining an upper importance-ratio cap with a full-trajectory likelihood ratio. Under common maximum-length normalization, a trajectory change of measure gives a score second moment proportional to the response horizon. We propagate this estimate through the actual empirical baseline and all inner updates. With separately optimized constant steps, the sampling term in TIC's stationarity bound has a linear horizon coefficient, versus order three halves for token-level GRPO 2. Matching upper and lower bounds separate the capped methods' worst-case response-level variances by a factor T. The bounds track prompt count, response-group size, vocabulary size, reward scale, and score regularity; per-response-normalized GRPO also retains a length-covariance term. Experiments at two Qwen3 scales on four reasoning and coding benchmarks evaluate both mechanisms in sampled-token-normalized training.
Sources
- Training a Helpful and Harmless Assistant with Reinforcement Learning from Human Feedback
- GPG: A Simple and Strong Reinforcement Learning Baseline for Model Reasoning
- S-GRPO: Early Exit via Reinforcement Learning in Reasoning Models
- Non-Asymptotic Global Convergence of PPO-Clip
- DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models
- On the Global Optimum Convergence of Momentum-based Policy Gradient
- Alignment faking in large language models
- Measuring Mathematical Problem Solving With the MATH Dataset
- Adaptive Batch-Wise Sample Scheduling for Direct Preference Optimization
- Does Your Reasoning Model Implicitly Know When to Stop Thinking?
- Real-Time Aligned Reward Model beyond Semantics
- LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
- A Comprehensive Framework for Analyzing the Convergence of Adam: Bridging the Gap with SGD
- Adam under Generalized Smoothness with Second-Moment-Type Stochastic Gradients
- Adam: A Method for Stochastic Optimization
- The Choice of Divergence: A Neglected Key to Mitigating Diversity Collapse in Reinforcement Learning with Verifiable Reward
- Let's Verify Step by Step
- Understanding R1-Zero-Like Training: A Critical Perspective
- Proximal Policy Optimization Algorithms
- DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Related papers
- Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
- AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
- Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
- Convergence issues in Relational Concept Analysis based on AOC-posets
- Beliefs Beyond Posteriors: The Predictive Cost of ELBO Binding
- Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks