Renjie Mao, Xiangxin Zhou, Lvfang Tao, Yixin Ding, Yu Shi, Yongguang Lin, Yuheng Wu, Honglin Zhu
Reinforcement learning with verifiable rewards (RLVR) has become standard for improving LLM reasoning. However, existing PPO-style trust-region mechanisms remain position-agnostic by enforcing uniform thresholds across all tokens independently. This pointwise treatment conflicts with autoregressive generation in two critical ways. First, uniform thresholds ignore autoregressive asymmetry. Early-stage deviations produce compounding sequence-level drift, causing static thresholds to under-regulate early divergence and excessively constrain late-stage exploration. Second, evaluating token-level divergence in isolation overlooks cumulative prefix drift, granting the same divergence allowance regardless of how far the conditioning history has already deviated from the rollout policy. To address this limitation, we propose CPPO (Cumulative Prefix-divergence Policy Optimization), a token-level masking rule that aligns updates with a finite-horizon policy-improvement bound via two coupled mechanisms. First, a position-weighted threshold imposes stricter limits at early positions whose effects persist longer, relaxing constraints for late-stage tokens. Second, a cumulative prefix budget tracks historical deviations, dynamically restricting further token-level deviation to prevent compounding errors along the prefix. Empirically, CPPO enhances training stability and significantly improves reasoning accuracy across various model scales.
The paper identifies a structural mismatch between uniform, position-agnostic trust-region constraints (as used in PPO/GRPO/DPPO) and the autoregressive nature of LLM generation. The key insight is twofold: (1) early-token deviations compound through the entire suffix, so they should be more tightly regulated, and (2) cumulative prefix drift should dynamically tighten the divergence budget for subsequent tokens.
CPPO implements this via two mechanisms: a position-weighted threshold (decreasing weights make the effective divergence threshold tighter at early positions) and a cumulative prefix budget (tracking weighted average divergence against a threshold , dynamically reducing the allowed divergence as prefix drift accumulates). Both operate through a simple token-level binary mask on top of existing PPO/GRPO objectives—no new loss terms are introduced.
Theoretical grounding. The paper provides a clean theoretical development starting from the finite-horizon performance difference identity (Lemma 2), through the maximal-coupling suffix TV bound (Lemma 3), to the surrogate residual bound (Proposition 4) and the main policy-improvement bound (Theorem 1). The Abel summation technique elegantly converts prefix constraints into a tighter residual bound, yielding the ratio , which is less than 1 when . The proofs are complete and appear correct.
Experimental design. The experimental setup is well-controlled. CPPO and DPPO share the same Top-K reduced-TV divergence estimator and per-model threshold scale , isolating the effect of the prefix-aware constraints. The paper evaluates across four Qwen3 settings (1.7B, 1.7B-Base, 8B-Base, 30B-A3B-Base) spanning dense and MoE architectures, and Base vs. post-trained models. The use of a matched evaluation horizon prevents selection bias.
Ablations. The ablation suite is thorough: single-mechanism ablation, position-weight ordering (confirming autoregressive order matters, not just heterogeneity), hard vs. soft masking, KL vs. TV divergence, Binary vs. Top-K approximation, and hyperparameter sensitivity. These systematically attribute gains to the two proposed mechanisms rather than confounding factors.
Limitations in rigor. The adaptive calibration for Base models (using the 90th percentile of per-sequence divergences, clamped between and ) introduces a somewhat ad-hoc element that complicates reproducibility and the clean theoretical story. The paper acknowledges this but the interaction between this heuristic and the formal guarantees is not fully explored. Additionally, the linear weight schedule is a specific parametric choice—while it satisfies the monotonicity condition, the sensitivity to schedule shape is not studied beyond the floor parameter .
Practical significance. CPPO is a drop-in replacement for the token-level mask in existing RLVR pipelines, requiring no architectural changes or additional loss terms. The implementation (Algorithm 1) is simple—essentially a prefix sum and a threshold comparison. This makes adoption straightforward for practitioners using PPO/GRPO-based training.
Performance gains. The improvements are meaningful: +3.06 to +5.56 absolute points on AIME24/25/26 Avg@16 over the second-best method, with the largest gains on the largest model (30B-A3B) with the longest rollout horizon (16k), consistent with the theoretical prediction that the remaining-horizon amplification is most pronounced for longer sequences.
Stability. CPPO prevents the training collapse observed with CISPO on the 30B model, suggesting improved stability for large-scale training—a practically important property.
Broader influence. The conceptual insight—that autoregressive structure should inform trust-region design—is general and could influence other sequential generation RL settings beyond math reasoning (e.g., code generation, agentic tasks). The theoretical framework connecting position-dependent error propagation to tighter policy-improvement bounds could serve as a foundation for future work.
This paper addresses a current bottleneck in RLVR for LLM reasoning, which has become the dominant paradigm post-DeepSeek-R1. The proliferation of methods (GRPO, DAPO, DPPO, TRM, CISPO, MinPRO) all operating with position-agnostic constraints makes this a timely contribution. As reasoning models push toward longer chain-of-thought generation (8k-16k+ tokens), the compounding drift problem becomes more severe, making position-aware trust regions increasingly relevant.
The connection drawn between TRM-Max/TRM-Avg and specializations of CPPO (Appendix B.8) provides useful theoretical context, showing CPPO generalizes existing approaches. The factor between terminal-only and every-prefix constraints (Equation 18) quantifies exactly how much is lost by the TRM-Avg approach. The paper's positioning relative to MinPRO (prefix-ratio vs. prefix-divergence) could be more explicitly developed, as both address prefix-level concerns but through different mechanisms.
Generated Jun 10, 2026
Paper 2 introduces a more novel algorithmic change (CPPO) that addresses a widely used RLHF/RLVR bottleneck (token-level trust regions) with a principled link to policy-improvement bounds and clear empirical gains in stability and reasoning across scales. Its real-world applicability is immediate for LLM post-training pipelines and broadly relevant across NLP and RL. Paper 1 is timely and useful, but is primarily a comparative/diagnostic study among existing subquadratic architectures with narrower impact and less standalone methodological novelty.
Paper 2 (CPPO) targets a core, widely used mechanism in LLM RL (PPO-style trust regions) and proposes a principled fix for position-agnostic, pointwise KL constraints by incorporating autoregressive asymmetry and cumulative prefix drift with a policy-improvement bound motivation. This is broadly applicable across RLHF/RLVR settings, model scales, and tasks, and directly improves stability—an acute practical bottleneck. Paper 1 is novel for agentic tool-use credit/branching, but is more specialized to agentic workflows and relies on additional heuristics (branching score) that may generalize less universally.
Paper 1 introduces a comprehensive general theory (SIM) for interpretable ML grounded in Lagrangian mechanics, addressing a fundamental gap in the field by providing a deductive framework that unifies fragmented approaches across traditional, concept-based, and mechanistic interpretability. Its breadth of impact spans multiple subfields, offers pedagogical value, and could reshape how interpretability research is conducted. Paper 2, while technically sound, addresses a narrower optimization issue in LLM reinforcement learning (position-aware trust regions in PPO), representing an incremental improvement rather than a paradigm-shifting contribution.
Paper 1 targets a timely, high-impact bottleneck in LLM post-training: stabilizing and improving RL with verifiable rewards. Its core innovation (position-weighted and cumulative prefix-aware trust-region control) directly addresses autoregressive compounding errors, a widely relevant issue for PPO-style methods, and is likely applicable across many RLHF/RLVR pipelines and model scales. This gives broad cross-domain impact (alignment, reasoning, RL optimization) and strong real-world applicability. Paper 2 is rigorous and useful for scientific discovery, but is a more incremental extension (active learning + uncertainty-guided SINDy) with narrower immediate adoption.
While Paper 1 offers a rigorous mathematical advancement in optimal transport, Paper 2 addresses a critical and highly timely bottleneck in reinforcement learning for Large Language Models. Given the current explosive focus on improving LLM reasoning through RL, the cumulative prefix-divergence approach in Paper 2 is likely to see immediate, widespread adoption and rapid citation growth across the dominant field of natural language processing.
Paper 2 has higher estimated impact due to a more broadly applicable and timely idea: shifting policy improvement to test time for diffusion/flow policies, avoiding unstable RL training while leveraging scalable supervised pretraining. This has clear real-world robotics and offline RL applications, potentially lowering compute and engineering barriers and influencing both RL and generative policy modeling communities. Methodologically it introduces a clean algorithmic paradigm (critic + value-gradient guidance) that can transfer across tasks and model families. Paper 1 is a solid, rigorous PPO refinement for LLM RL, but is narrower in scope and likely incremental within a crowded area.
Paper 2 addresses a fundamental methodological gap in ML interpretability—the conflation of observational and interventional evidence (Pearl's causal hierarchy)—with rigorous experimental methodology including multiple-comparison correction and effect size reporting. Its findings challenge widely-used assumptions in MoE pruning and have broad implications for interpretability research standards across the field. Paper 1, while technically sound, offers an incremental improvement to PPO-style trust regions for LLM RL, a rapidly evolving area where methods are frequently superseded. Paper 2's contribution is more foundational and likely to influence research practices across multiple subfields.
Paper 2 likely has higher impact due to timeliness and broad applicability: it targets RL for LLMs, a rapidly moving area with immediate industry and research uptake. CPPO addresses a widely used method (PPO-style trust regions) with a concrete, implementable modification that can transfer across models, tasks, and RLVR setups, potentially influencing many follow-on works. Paper 1 is methodologically strong and novel for stochastic dynamics surrogates, but its impact is more specialized (chaotic/turbulent/PDE systems) and may diffuse slower across fields than an LLM-RL optimization improvement.
Paper 2 has higher likely impact: it targets the central bottleneck in RL fine-tuning for reasoning—delayed, high-variance credit assignment over long CoT—by proposing an efficient, train-time reward redistribution method that avoids extra sampling. This can broadly improve many GRPO/RLVR pipelines and is immediately applicable to real-world reasoning-model training. Paper 1’s CPPO is a meaningful PPO-style refinement for autoregressive trust regions, but is more incremental and narrower in scope. Reward redistribution/credit assignment is more cross-cutting and timely for current reasoning-RL methods.
Paper 1 addresses a timely and high-impact problem—improving RLHF/RLVR for LLM reasoning—with a practical method (CPPO) that tackles a clearly identified limitation in PPO-style trust regions for autoregressive models. Its novelty in introducing position-aware and cumulative prefix-aware constraints is directly applicable to the rapidly growing LLM alignment field, with empirical validation across model scales. Paper 2 provides a theoretically interesting analysis of target update mechanisms in linear Q-learning, but its scope is narrower (linear function approximation, deterministic setting), limiting its immediate practical impact and broader relevance.