Summary (Overview)

  • Core Problem: GRPO methods for video generation (like FlowGRPO) are less reliable than their counterparts for language models and images, because the ODE-to-SDE conversion used for exploration injects excess noise that lowers rollout quality and destabilizes post-training alignment.
  • Key Insight: The paper frames GRPO for video generation as a manifold-constrained exploration problem, treating the pretrained model as defining a valid video data manifold MRD\mathcal{M} \subset \mathbb{R}^D, and constraining exploration within its vicinity.
  • Proposed Solution: SAGE-GRPO (Stable Alignment via Exploration) applies constraints at two levels: (1) a micro-level Precise Manifold-Aware SDE with logarithmic curvature correction plus a Gradient Norm Equalizer, and (2) a macro-level Dual Trust Region with periodic moving anchors and stepwise constraints.
  • Results: Evaluated on HunyuanVideo1.5 with VideoAlign reward, SAGE-GRPO achieves consistent gains over DanceGRPO, FlowGRPO, and CPS in VQ, MQ, TA, CLIPScore, and PickScore metrics.
  • User Study: A human preference study with 29 evaluators shows win rates of 80–86% for visual quality, 71–79% for motion quality, and 68–79% for semantic alignment against baselines.

Introduction and Theoretical Foundation

Background and Motivation

Group Relative Policy Optimization (GRPO) has proven effective for aligning language models and image generation models, but its application to video generation remains unreliable. The key challenge is that video generation has a large, structured solution space, and the exploration required for GRPO is easily disturbed.

In GRPO training for video generation, deterministic ODE samplers must be converted into SDE samplers to enable diverse exploration. However, current baselines (DanceGRPO, FlowGRPO) rely on Euler-style discretization and first-order approximations when deriving the SDE noise standard deviation, introducing truncation errors that inject excess noise energy during sampling—particularly in high-noise steps.

Theoretical Foundation

The paper builds on Flow Matching and Rectified Flow frameworks. The generation process is modeled as transport along a probability path via an ODE:

dxtdt=vθ(xt,t)(1)\frac{d\mathbf{x}_t}{dt} = \mathbf{v}_\theta(\mathbf{x}_t, t) \tag{1}

Rectified Flow uses a linear interpolation path:

xt=(1σt)x0+σtz1(2)\mathbf{x}_t = (1 - \sigma_t)\mathbf{x}_0 + \sigma_t \mathbf{z}_1 \tag{2}

with velocity field:

vθ(xt,t)=dxtdt=dσtdt(x0z1)=11σt(xtx0)(3)\mathbf{v}_\theta(\mathbf{x}_t, t) = \frac{d\mathbf{x}_t}{dt} = -\frac{d\sigma_t}{dt}(\mathbf{x}_0 - \mathbf{z}_1) = \frac{1}{1 - \sigma_t}(\mathbf{x}_t - \mathbf{x}_0) \tag{3}

The GRPO objective optimizes a group-normalized advantage:

LGRPO(θ)=1Gi=1GAit=1Tlogπθ(xt1(i)xt(i),c)(4)\mathcal{L}_{GRPO}(\theta) = -\frac{1}{G}\sum_{i=1}^{G} A_i \cdot \sum_{t=1}^{T} \log \pi_\theta(\mathbf{x}_{t-1}^{(i)} | \mathbf{x}_t^{(i)}, \mathbf{c}) \tag{4}

Key Theoretical Problem

The paper identifies that the pretrained video generation model defines a valid data manifold. The core problem is formulated as: how to constrain exploration within the vicinity of the data manifold so that each update improves rollouts while keeping reward evaluation reliable. Existing methods' first-order noise approximations can push ztz_t away from M\mathcal{M}, producing temporal jitter and artifacts.


Methodology

Micro-Level Exploration: Precise SDE and Gradient Equalization

1. Precise Manifold-Aware SDE

The key contribution is deriving the correct noise standard deviation Σt1/2\Sigma_t^{1/2} during discrete SDE discretization. For a marginal-preserving SDE with diffusion coefficient εt=ησt/(1σt)\varepsilon_t = \eta\sqrt{\sigma_t/(1-\sigma_t)}, the variance is integrated over the interval [σt+1,σt][\sigma_{t+1}, \sigma_t]:

Σt=σt+1σtεs2ds=η2[(σtσt+1)+log(1σt+11σt)](5)\Sigma_t = \int_{\sigma_{t+1}}^{\sigma_t} \varepsilon_s^2 \mathrm{d}s = \eta^2\left[-(\sigma_t - \sigma_{t+1}) + \log\left(\frac{1-\sigma_{t+1}}{1-\sigma_t}\right)\right] \tag{5}

Taking the square root yields the noise standard deviation:

Σt1/2=η(σtσt+1)+log(1σt+11σt)(6)\Sigma_t^{1/2} = \eta\sqrt{-(\sigma_t - \sigma_{t+1}) + \log\left(\frac{1-\sigma_{t+1}}{1-\sigma_t}\right)} \tag{6}

The logarithmic term log(1σt+11σt)\log\left(\frac{1-\sigma_{t+1}}{1-\sigma_t}\right) accounts for the geometric contraction of the signal coefficient (1σt)(1-\sigma_t), which linear approximations fail to capture. Applying Euler-Maruyama discretization with Δt=σtσt+1\Delta t = \sigma_t - \sigma_{t+1}:

xt+Δt=xt+vθ(xt,t)Δt+Σt2sθ(xt)+Σt1/2ϵ(7)\mathbf{x}_{t+\Delta t} = \mathbf{x}_t + \mathbf{v}_\theta(\mathbf{x}_t, t)\Delta t + \frac{\Sigma_t}{2}\mathbf{s}_\theta(\mathbf{x}_t) + \Sigma_t^{1/2}\boldsymbol{\epsilon} \tag{7}

where ϵN(0,I)\boldsymbol{\epsilon} \sim \mathcal{N}(\mathbf{0}, \mathbf{I}) and sθ(xt)(xtx^0)/σt2\mathbf{s}_\theta(\mathbf{x}_t) \approx -(\mathbf{x}_t - \hat{\mathbf{x}}_0)/\sigma_t^2 is the score function estimate.

Table 1: Comparison of SDE noise injection strategies

MethodStandard Deviation Σt1/2\Sigma_t^{1/2}
DanceGRPOησtσt+1\eta\sqrt{\sigma_t - \sigma_{t+1}}
FlowGRPOησt1σt(σtσt+1)\eta\sqrt{\frac{\sigma_t}{1-\sigma_t}(\sigma_t - \sigma_{t+1})}
Ours (Precise)η[(σtσt+1)+log(1σt+11σt)]\eta\sqrt{\left[-(\sigma_t - \sigma_{t+1}) + \log\left(\frac{1-\sigma_{t+1}}{1-\sigma_t}\right)\right]}

2. Gradient Norm Equalizer

The diffusion process has an inherent signal-to-noise imbalance: gradient norms vary by orders of magnitude across timesteps. For a Gaussian transition π(xt1xt)=N(μθ,ΣtI)\pi(\mathbf{x}_{t-1}|\mathbf{x}_t) = \mathcal{N}(\mu_\theta, \Sigma_t \mathbf{I}):

μlogπ1Σt1/2(8)\|\nabla_{\boldsymbol{\mu}}\log\pi\| \propto \frac{1}{\Sigma_t^{1/2}} \tag{8}

This causes gradients to vanish at high noise (t1t \to 1) and explode at low noise (t0t \to 0). The equalizer normalizes optimization pressure:

St=Median({Nτ}τ=1T)Nt+ϵ(9)S_t = \frac{\text{Median}(\{\mathcal{N}_\tau\}_{\tau=1}^{T})}{\mathcal{N}_t + \epsilon} \tag{9}

where Nt=λt/Σt1/2\mathcal{N}_t = \lambda_t/\Sigma_t^{1/2} is a per-timestep gradient scale proxy and ϵ\epsilon is a small constant.

3. Group-Normalized Advantage

Each rollout is scored by a composite reward R(x0)R(\mathbf{x}_0), with advantage:

Ai=riμRσR+ϵ(10)A_i = \frac{r_i - \mu_R}{\sigma_R + \epsilon} \tag{10}

where ri=R(x0(i))r_i = R(\mathbf{x}_0^{(i)}), μR=1Gj=1Grj\mu_R = \frac{1}{G}\sum_{j=1}^{G} r_j, and σR2=1Gj=1G(rjμR)2\sigma_R^2 = \frac{1}{G}\sum_{j=1}^{G}(r_j - \mu_R)^2.

Macro-Level Exploration: Dual Trust Region Optimization

KL Divergence as Dynamic Anchor

For a Gaussian policy, the KL divergence between current policy πθ\pi_\theta and reference πref\pi_{ref} is:

DKL(πθπref)=Extπθ[(μθμref)22Σt2](μθμref)22Σt2(11)D_{KL}(\pi_\theta || \pi_{ref}) = \mathbb{E}_{\mathbf{x}_t \sim \pi_\theta}\left[\frac{(\boldsymbol{\mu}_\theta - \boldsymbol{\mu}_{ref})^2}{2\Sigma_t^2}\right] \approx \frac{(\boldsymbol{\mu}_\theta - \boldsymbol{\mu}_{ref})^2}{2\Sigma_t^2} \tag{11}

Three KL Strategies Analyzed

  1. Fixed KL: πref=π0\pi_{ref} = \pi_0 (hard constraint, limits optimality—causes underfitting when optimal policy is far from initialization)

  2. Step-wise KL: πref=πk1\pi_{ref} = \pi_{k-1} (velocity constraint only, allows unbounded cumulative drift):

θDKL(πθπk1)μθμk1/Σt(12)\|\nabla_\theta D_{KL}(\pi_\theta || \pi_{k-1})\| \propto \|\boldsymbol{\mu}_\theta - \boldsymbol{\mu}_{k-1}\|/\Sigma_t \tag{12}
  1. Periodical Moving KL: πref=πkN\pi_{ref} = \pi_{k-N} (position control via dynamic trust region):
DKL(πθπref_N)=(μθμref_N)22Σt2(13)D_{KL}(\pi_\theta || \pi_{ref\_N}) = \frac{(\boldsymbol{\mu}_\theta - \boldsymbol{\mu}_{ref\_N})^2}{2\Sigma_t^2} \tag{13}

Dual KL: Position-Velocity Controller

LKL=βposDKL(πθπref_N)+βvelDKL(πθπk1)(14)\mathcal{L}_{KL} = \beta_{pos} \cdot D_{KL}(\pi_\theta || \pi_{ref\_N}) + \beta_{vel} \cdot D_{KL}(\pi_\theta || \pi_{k-1}) \tag{14}

The position term prevents long-term drift; the velocity term smooths instantaneous updates. The step-wise KL is computed using log-probability differences:

DKL(πθπk1)E[logπk1(xt1xt)logπθ(xt1xt)](15)D_{KL}(\pi_\theta || \pi_{k-1}) \approx \mathbb{E}[\log\pi_{k-1}(\mathbf{x}_{t-1}|\mathbf{x}_t) - \log\pi_\theta(\mathbf{x}_{t-1}|\mathbf{x}_t)] \tag{15}

Full SAGE-GRPO Objective

LSAGEGRPO(θ)=1Gi=1GAit=1TStlogπθ(xt1(i)xt(i),c)λKLLKL(43)\mathcal{L}_{SAGE-GRPO}(\theta) = -\frac{1}{G}\sum_{i=1}^{G} A_i \cdot \sum_{t=1}^{T} S_t \cdot \log\pi_\theta(\mathbf{x}_{t-1}^{(i)}|\mathbf{x}_t^{(i)}, \mathbf{c}) - \lambda_{KL} \cdot \mathcal{L}_{KL} \tag{43}

with adaptive KL weighting (two-stage warm-up from λmin=107\lambda_{min}=10^{-7} to λmax=105\lambda_{max}=10^{-5} followed by proportional feedback control).


Empirical Validation / Results

Experimental Setup

  • Model: HunyuanVideo 1.5, 81 frames per video, effective batch size 8
  • Reward: VideoAlign evaluator (frozen, no fine-tuning) with composite reward R=wvqSvq+wmqSmq+wtaStaR = w_{vq}S_{vq} + w_{mq}S_{mq} + w_{ta}S_{ta}
  • Baselines: DanceGRPO, FlowGRPO, CPS
  • Unified framework: All methods share infrastructure, varying only the GRPO algorithm

Main Results

Table 2: Main Comparison on Video Generation Benchmarks

MethodConfigurationOverallVQMQTACLIPScorePickScore
HunyuanVideo 1.5 (Original)-0.0654-0.7539-0.58701.40630.54090.7397
Setting A: Averaged Rewards (wvq=1.0,wmq=1.0,wta=1.0w_{vq}=1.0, w_{mq}=1.0, w_{ta}=1.0)
DanceGRPOw/o KL0.2768-0.7589-0.38521.42090.53860.7378
DanceGRPOw/ Fixed KL0.0979-0.8077-0.50911.41470.54030.7355
FlowGRPOw/o KL0.2733-0.7151-0.52861.51700.54430.7394
FlowGRPOw/ Fixed KL0.1880-0.6771-0.59121.45630.54310.7407
CPSw/o KL0.6343-0.4855-0.40211.52190.54790.7412
CPSw/ Fixed KL0.0928-0.7156-0.58251.39080.54790.7369
SAGE-GRPOw/ Dual Mov KL0.2173-0.7881-0.42491.43030.54300.7452
Setting B: Alignment-Focused (wvq=0.5,wmq=0.5,wta=1.0w_{vq}=0.5, w_{mq}=0.5, w_{ta}=1.0)
DanceGRPOw/ Fixed KL0.1290-0.7739-0.50831.41120.54520.7276
FlowGRPOw/ Fixed KL0.2103-0.6654-0.55061.42630.54270.7408
CPSw/o KL0.3694-0.6650-0.53251.56690.54790.7311
CPSw/ Fixed KL0.3705-0.6121-0.47871.46130.54580.7364
SAGE-GRPOw/ Dual Mov KL0.8066-0.4765-0.23841.52160.54840.7420

In Setting B (alignment-focused), SAGE-GRPO with Dual Moving KL achieves the best performance across Overall, VQ, MQ, and CLIPScore while remaining close to the best TA, demonstrating that emphasizing alignment provides a more reliable optimization target.

User Study Results

Table 3: User Preference Study (Win rates of SAGE-GRPO against baselines)

SAGE-GRPO vs.Visual QualityMotion QualitySemantic Alignment
DanceGRPO85.9%75.8%79.2%
FlowGRPO83.8%79.2%71.9%
CPS80.2%70.8%67.9%

Ablation Studies

  1. Temporal Gradient Equalizer: Without balancing, low-noise timesteps dominate optimization, leading to unstable or plateaued rewards. With balancing, gradient scale variation is reduced from more than one order of magnitude to within a small constant factor.

  2. KL Strategy Ablation: Dual Moving KL consistently outperforms other variants (no KL, Fixed KL, Step-wise KL, Moving KL) in both convergence speed and final reward, avoiding collapse observed in aggressive step-wise updates.

  3. KL Weight Sensitivity: Two-stage schedule (10710510^{-7} \to 10^{-5}) achieves the strongest and most consistent gains across VQ, MQ, and TA compared to fixed or milder schedules.


Theoretical and Practical Implications

Theoretical Contributions

  1. Manifold-Aware Exploration Framework: The paper formalizes GRPO for video generation as a manifold-constrained exploration problem, providing a principled geometric interpretation of why existing ODE-to-SDE conversions fail in high-noise regions.

  2. Precise SDE Derivation: The logarithmic correction term log(1σt+11σt)\log\left(\frac{1-\sigma_{t+1}}{1-\sigma_t}\right) provides a mathematically rigorous variance computation that captures the geometric contraction of the signal coefficient, which first-order approximations miss. The Taylor expansion analysis shows the leading term Δσσt1σt\Delta\sigma\frac{\sigma_t}{1-\sigma_t} represents the ideal variance scaling for a geometric schedule.

  3. Position-Velocity Control Analogy: The Dual Trust Region is framed as a position-velocity controller in policy space, analogous to classical control theory—position control prevents drift from the manifold, while velocity control smooths instantaneous updates.

Practical Implications

  1. Stability-Plasticity Trade-off: The paper demonstrates a concrete resolution of the stability-plasticity dilemma in video RL alignment: Fixed KL constraints limit plasticity (underfitting), while relaxed constraints trigger reward hacking or catastrophic forgetting. The Dual Trust Region with periodic moving anchors provides a practical middle ground.

  2. Gradient Balancing: The empirical finding that gradient norms vary by orders of magnitude across noise levels (following 1/Σt1/2\propto 1/\Sigma_t^{1/2}) has implications for any diffusion-based RL method, suggesting that per-timestep normalization is essential for stable training.

  3. Reduced Reward Hacking: The alignment-focused setting (Setting B) shows that emphasizing semantic alignment provides a more reliable optimization target, reducing reward hacking artifacts while improving overall quality.


Conclusion

Main Takeaways

SAGE-GRPO presents a comprehensive solution to the instability of GRPO for video generation by treating exploration as a manifold-constrained problem. The key innovations are:

  1. Micro-level: A Precise Manifold-Aware SDE with logarithmic curvature correction that keeps exploration noise closer to the flow trajectory, coupled with a Gradient Norm Equalizer that balances optimization across timesteps.

  2. Macro-level: A Dual Trust Region mechanism combining position control (periodic moving anchors) and velocity control (step-wise KL constraints) that prevents long-horizon drift while maintaining plasticity.

Future Directions

The paper suggests several potential extensions:

  • Applying the manifold-aware exploration framework to other flow-based generative models beyond video
  • Exploring adaptive schedules for the moving anchor interval NN and KL weights
  • Investigating the interaction between reward model design and manifold-constrained exploration
  • Extending the approach to other modalities where solution spaces are large and structured (e.g., 3D generation, audio generation)

Impact Statement

The method may strengthen creative tools, scientific communication, and educational content relying on controllable video synthesis. However, stronger video generation systems can exacerbate concerns about misinformation, deepfakes, and biased content, requiring safeguards such as content moderation, dataset auditing, and human oversight in deployment.

Related papers