研究验证奖励中的噪声如何影响大模型强化学习的成败
Rate or Fate? RLV$^\varepsilon$R: Reinforcement Learning with Verifiable Noisy Rewards
- 将验证奖励学习建模为可分析的多臂老虎机问题,揭示学习动态机制
- 发现当验证器准确度指标J>0时能成功学习,J<0则导致错误模式失控
- 适用于评估编程等高难度任务中验证器可靠性,指导算法设计
基于可验证奖励的强化学习(RLVR)是一种训练大模型的有效方法:采样完成结果,验证后更新。然而实践中验证器几乎从不干净——单元测试仅覆盖有限边界情况;人工和合成标签存在缺陷;大模型评判器(如RLAIF)噪声大且易被利用——这一问题在更难的任务领域(尤其是编程)愈发严重,因测试稀疏且越来越多由模型生成。我们提出一个务实问题:验证噪声只是减缓学习速度(率),还是可能彻底改变学习结果(命)?为此,我们构建了可解析的多臂老虎机模型来刻画RLVR动态,以GRPO为例并经受控实验验证。通过建模假阳性与假阴性,并将完成结果按常见推理模式分组,得到概率单纯形上的复制子型(自然选择)演化流。动态分解为同一正确模式内部的竞争,以及错误模式质量的一维演化,其漂移仅由约登指数J=TPR-FPR决定。这带来明确的相变:当J>0时,错误模式趋向灭绝(学习);当J=0时过程为中性;当J<0时,错误模式不断放大直至主导(反学习与崩溃)。在学习区J>0内,噪声主要缩放收敛时间(率而非命)。在合成噪声下的编程任务实验复现了预测的J=0边界。该框架还可推广至分析RLVR稳定性、收敛性及算法干预。
原文摘要 · Abstract (English)
Reinforcement learning with verifiable rewards (RLVR) is a simple but powerful paradigm for training LLMs: sample a completion, verify it, and update. In practice, however, the verifier is almost never clean--unit tests probe only limited corner cases; human and synthetic labels are imperfect; and LLM judges (e.g., RLAIF) are noisy and can be exploited--and this problem worsens on harder domains (especially coding) where tests are sparse and increasingly model-generated. We ask a pragmatic question: does the verification noise merely slow down the learning (rate), or can it flip the outcome (fate)? To address this, we develop an analytically tractable multi-armed bandit view of RLVR dynamics, instantiated with GRPO and validated in controlled experiments. Modeling false positives and false negatives and grouping completions into recurring reasoning modes yields a replicator-style (natural-selection) flow on the probability simplex. The dynamics decouples into within-correct-mode competition and a one-dimensional evolution for the mass on incorrect modes, whose drift is determined solely by Youden's index J=TPR-FPR. This yields a sharp phase transition: when J>0, the incorrect mass is driven toward extinction (learning); when J=0, the process is neutral; and when J<0, incorrect modes amplify until they dominate (anti-learning and collapse). In the learning regime J>0, noise primarily rescales convergence time ("rate, not fate"). Experiments on verifiable programming tasks under synthetic noise reproduce the predicted J=0 boundary. Beyond noise, the framework offers a general lens for analyzing RLVR stability, convergence, and algorithmic interventions.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。