When Does Momentum Help in Reinforcement Learning with Verifiable Rewards?

cs.LG cs.AI math.OC stat.ML Kaifei Wang, Zikang Shan, Liwei Wang, Yinyu Ye, Han Zhong · Oct 14, 2026
Local to this browser
What it does
Momentum is a pillar of modern optimization, yet its benefits in reinforcement learning with verifiable rewards (RLVR) remain unclear. This paper studies a KL-regularized bandit formulation of RLVR and proves that, with exact policy...
Why it matters
This paper studies a KL-regularized bandit formulation of RLVR and proves that, with exact policy gradients, larger EMA coefficients strictly accelerate convergence within a safe overshoot-free range. Its central insight is that stochastic...
Main concern
The paper's core contribution is a rigorous characterization of when EMA momentum helps in RLVR: deterministic acceleration is guaranteed by Theorem 4. 2, while stochastic gains are recovered only when $\eta/(1-\beta)$ is kept in a safe,...
Community signal
0
0 up · 0 down
Sign in to vote with arrows
AI Review AI reviewed
Plain-language introduction

Momentum is a pillar of modern optimization, yet its benefits in reinforcement learning with verifiable rewards (RLVR) remain unclear. This paper studies a KL-regularized bandit formulation of RLVR and proves that, with exact policy gradients, larger EMA coefficients strictly accelerate convergence within a safe overshoot-free range. Its central insight is that stochastic sampling obscures this gain unless the coefficient scales with the learning rate so that $\eta/(1-\beta)$ stays constant, a principle validated in bandits and in LLM post-training on Qwen models.

Critical review
Verdict
Bottom line

The paper's core contribution is a rigorous characterization of when EMA momentum helps in RLVR: deterministic acceleration is guaranteed by Theorem 4.2, while stochastic gains are recovered only when $\eta/(1-\beta)$ is kept in a safe, constant regime. However, the empirical narrative is undermined by a glaring inconsistency: the abstract claims that increasing $\beta_1$ on Qwen2.5-32B improves accuracy by 'nearly 22 percentage points,' whereas Section 6.3 describes the same result as 'nearly 2 percentage points.' Beyond this typo, the theory relies on a response-level softmax bandit that strips away autoregressive generation dynamics, leaving some gap before the GRPO experiments can be considered fully explained.

“On Qwen2.5-32B with AdamW, simply increasing $\beta_{1}$ improves mean validation accuracy by nearly 22 percentage points over the conventional choice, demonstrating the principle's effectiveness at a larger model scale.”
paper · Abstract
“At step 150, the conventional $\beta_{1}=0.9$ achieves a mean accuracy of 44.3%, similar to 44.2% for the baseline without first-moment momentum, whereas $\beta_{1}=1-10^{-9}$ reaches 46.1%, nearly 2 percentage points higher than the conventional setting.”
paper · Section 6.3
What holds up

The exact-gradient analysis in Section 4 is elegant and complete: within a non-trivial safe range, increasing $\beta$ strictly improves the objective after $T$ steps, and the proof avoids overshoot by tracking a scalar residual $f_t(\beta)$. In the stochastic case, the authors carefully control importance-sampling noise through an auxiliary process and derive a second-order expansion that cleanly separates deterministic gain from sampling variance, yielding testable scaling predictions.

“Assume $0<\eta\gamma<1$ and $T\geq 2$. For any $\beta_{1},\beta_{2}$ in the range $[0,((1-\eta\gamma)/(1+\eta\gamma))^{2}]$ with $\beta_{1}<\beta_{2}$, we have $J(\theta_{T}^{\beta_{2}})>J(\theta_{T}^{\beta_{1}})$.”
paper · Theorem 4.2
“we further show that $\eta/(1-\beta)\to 0$ forces the expected gain to vanish, even when $\beta$ depends on $\eta$.”
paper · Section 5.2
Main concerns

The response-level softmax bandit replaces sequence generation with a single categorical choice, so the relevance to token-level autoregressive LLM training is an abstraction that remains largely unjustified. More concretely, the paper contains a striking factual discrepancy between its abstract and its main experimental section: the abstract touts a nearly 22 percentage-point improvement on Qwen2.5-32B, while Section 6.3 reports a gain of roughly 2 percentage points, a ten-fold difference that must be resolved.

“The response-level softmax parameterization provides a tractable abstraction of autoregressive generation in modern LLMs, whose token-level policies use softmax distributions.”
paper · Section 3.1
“At step 150, the conventional $\beta_{1}=0.9$ achieves a mean accuracy of 44.3%, similar to 44.2% for the baseline without first-moment momentum, whereas $\beta_{1}=1-10^{-9}$ reaches 46.1%, nearly 2 percentage points higher than the conventional setting.”
paper · Section 6.3
Evidence and comparison

Within the bandit model, the evidence matches the predictions quantitatively: fixed $\beta$ produces a vanishing signal-to-noise ratio while scaled $\beta$ drives the win rate toward one. The LLM results are directionally supportive, but the experiments are narrow—one dataset, one family of models, and a single training horizon—so the claim that 'choosing momentum coefficients substantially above the conventional value of 0.9 can yield greater benefits in practical RLVR training' is less established than the bandit theory.

“These results support our claim that choosing momentum coefficients substantially above the conventional value of 0.9 can yield greater benefits in practical RLVR training.”
paper · Section 6.2
“At $\eta=1/4096$, fixed $\beta$ gives SNRs of 0.0453 and 0.0406 under uniform and random initialization, respectively, while scaled $\beta$ gives 3.7647 and 3.3982.”
paper · Section 6.1
Reproducibility

No code or data repository is advertised in the main text, and the detailed hyperparameters are relegated to Appendix I.2, which lies beyond the provided excerpt. The bandit setting is fully specified in the main text, but the LLM experiments—involving Qwen3-4B-Base and Qwen2.5-32B with GRPO—would be difficult to reproduce without the exact prompt formatting, reward functions, and training scripts.

“Details of the experimental setup are provided in Appendix I.2.”
paper · Section 6.2
“We use three training generation seeds per configuration to show that our findings are consistent.”
paper · Section 6.2
Abstract

Momentum is a classical tool for accelerating convex optimization and a standard component of modern large language model training. Yet recent empirical work has questioned the usefulness of first-moment momentum in reinforcement learning with verifiable rewards (RLVR). We study this question through a bandit formulation of RLVR with bias-corrected exponential moving average (EMA) momentum, where the EMA coefficient $\beta$ controls how quickly the weights on past gradients decay. When policy gradients are evaluated exactly, we prove that increasing $\beta$ within a range that prevents overshoot strictly accelerates optimization. When gradients are estimated from sampled responses, a positive expected gain can be obscured by sampling fluctuations. We show that as the learning rate $\eta$ decreases, the expected gain with fixed $\beta$ vanishes faster than these fluctuations, whereas increasing $\beta$ to keep $\eta/(1-\beta)$ within the safe regime preserves a nonvanishing gain that eventually dominates them. Bandit simulations quantitatively validate these predictions. RLVR experiments on Qwen3-4B-Base using SGD with EMA and AdamW support our principle of choosing larger coefficients in practical LLM post-training. On Qwen2.5-32B with AdamW, simply increasing $\beta_1$ improves mean validation accuracy by nearly $2$ percentage points over the conventional choice, demonstrating the principle's effectiveness at a larger model scale.

Challenge the Review

Pick a starting point or write your own. Challenges run in the background, so you can keep reading while the AI investigates.

No challenges yet. Disagree with the review? Ask the AI to revisit a specific claim.