Revisiting Reinforcement Learning with Verifiable Rewards from a Contrastive Perspective

📄 arXiv: 2605.12969v1 📥 PDF

作者: Feng Zhang, Xinhong Ma, Ziqiang Dong, Xi Leng, Jianfei Zhao, Xin Sun, Yang Yang, Guanjun Jiang

分类: cs.LG, cs.AI

发布日期: 2026-05-13


💡 一句话要点

提出ConSPO框架,通过对比学习优化LLM在RLVR中的推理能力,显著提升数学推理性能。

🎯 匹配领域: 支柱二:RL算法与架构 (RL & Architecture)

关键词: 强化学习 大型语言模型 对比学习 可验证奖励 策略优化

📋 核心要点

  1. 现有GRPO算法存在似然未对齐评分和分数不敏感信用分配的结构性限制,影响LLM推理能力。
  2. ConSPO框架通过对比学习,对齐rollout分数与生成似然,并根据相对分数进行信用分配。
  3. 实验结果表明,ConSPO在数学推理任务上显著优于现有RLVR基线,验证了其有效性。

📝 摘要(中文)

本文重新审视了基于可验证奖励的强化学习(RLVR)方法,特别是GRPO算法在提升大型语言模型(LLM)推理能力方面的应用。首先,论文证明GRPO可以等价地表示为一种加权的正负样本分数差分形式。这种形式揭示了GRPO的两个结构性限制:似然未对齐的评分,即优化的是基于裁剪比率的替代分数而非生成似然;以及分数不敏感的信用分配,即在同一组内,rollout级别的信用分配没有考虑正负样本之间相对的分数差距。为了解决这些问题,论文提出了ConSPO,一个RLVR中用于对比序列级别策略优化的框架。ConSPO用长度归一化的序列对数概率替换GRPO的基于裁剪比率的分数,使优化的rollout分数与自回归生成中使用的似然对齐。然后,它优化一个组级别的InfoNCE风格的目标,将每个正样本rollout与来自同一组的负样本区分开来,从而使信用分配取决于它们的相对分数。这种对比形式放大了对分离不良的正样本的更新,同时集中抑制高分负样本的更新。此外,ConSPO引入了课程学习的margin,引导优化从早期训练中的粗略正负样本排序到后期阶段的更强分离。在不同的骨干模型、参数规模和训练数据集上的广泛评估表明,ConSPO在具有挑战性的数学推理基准测试中始终优于几个强大的RLVR基线。

🔬 方法详解

问题定义:现有基于可验证奖励的强化学习(RLVR)方法,如GRPO,在优化大型语言模型(LLM)的推理能力时,存在两个主要痛点。一是“似然未对齐的评分”,即GRPO优化的是基于裁剪重要性采样比率的替代分数,而非直接优化生成概率的似然。二是“分数不敏感的信用分配”,即在同一组正负样本中,信用分配没有考虑正负样本之间分数差距,导致学习效率低下。

核心思路:ConSPO的核心思路是通过对比学习来解决上述问题。它将正样本rollout与同一组的负样本进行对比,鼓励正样本的分数高于负样本,并且分数差距越大越好。通过这种方式,ConSPO能够更有效地利用正负样本的信息,并避免了GRPO中存在的两个结构性限制。

技术框架:ConSPO的整体框架包括以下几个主要步骤:1. 使用LLM生成一组rollout,包括正样本和负样本。2. 使用长度归一化的序列对数概率计算每个rollout的分数,该分数与LLM的生成似然对齐。3. 使用InfoNCE风格的对比损失函数,将每个正样本rollout与来自同一组的负样本区分开来。4. 使用课程学习策略,逐渐增加对比学习的难度,引导优化从粗略的正负样本排序到更强的分离。

关键创新:ConSPO最重要的技术创新点在于其对比学习的框架。与GRPO等传统方法不同,ConSPO直接优化rollout的生成似然,并根据正负样本之间的相对分数进行信用分配。这种对比学习的框架能够更有效地利用正负样本的信息,并避免了GRPO中存在的两个结构性限制。

关键设计:ConSPO的关键设计包括:1. 使用长度归一化的序列对数概率作为rollout的分数,以对齐优化目标与生成似然。2. 使用InfoNCE风格的对比损失函数,鼓励正样本的分数高于负样本,并且分数差距越大越好。3. 引入课程学习的margin,逐渐增加对比学习的难度,引导优化从粗略的正负样本排序到更强的分离。课程学习的margin通过 schedule 函数进行调整,控制正负样本分离的程度。

🖼️ 关键图片

fig_0
fig_1
fig_2

📊 实验亮点

实验结果表明,ConSPO在多个数学推理基准测试中显著优于现有的RLVR基线。例如,在某些任务上,ConSPO的性能提升超过10%。这些结果表明,ConSPO能够有效地解决GRPO中存在的结构性限制,并显著提升LLM的推理能力。

🎯 应用场景

ConSPO框架可广泛应用于需要提升LLM推理能力的各种场景,例如数学问题求解、代码生成、知识问答等。通过优化LLM的推理过程,ConSPO可以提高LLM的准确性和可靠性,使其能够更好地服务于各种实际应用。

📄 摘要(原文)

RLVR has become a widely adopted paradigm for improving LLMs' reasoning capabilities, and GRPO is one of its most representative algorithms. In this paper, we first show that GRPO admits an equivalent discriminative reformulation as a weighted positive-negative score difference. Under this view, GRPO increases sequence-level scores of verified positive rollouts and decreases those of negative rollouts, where the scores are averages of clipped token-level importance sampling ratios. This reformulation reveals two structural limitations of GRPO: likelihood-misaligned scoring, where clipped ratio-based surrogate scores are optimized instead of generation likelihoods, and score-insensitive credit assignment, where rollout-level credit is assigned without accounting for relative score gaps between positive and negative rollouts in the same group. To address these limitations, we propose ConSPO, a framework for Contrastive Sequence-level Policy Optimization in RLVR. ConSPO replaces GRPO's clipped ratio-based scores with length-normalized sequence log-probabilities, aligning the optimized rollout scores with the likelihoods used in autoregressive generation. It then optimizes a group-wise InfoNCE-style objective that contrasts each positive rollout against negative distractors from the same group, enabling credit assignment to depend on their relative scores. This contrastive formulation amplifies updates for poorly separated positives while concentrating suppressive updates on high-scoring negatives. Moreover, ConSPO introduces a curriculum-scheduled margin, guiding optimization from coarse positive-negative ordering in early training toward stronger separation in later stages. Extensive evaluations across diverse backbone models, parameter scales, and training datasets show that ConSPO consistently outperforms several strong RLVR baselines on challenging mathematical reasoning benchmarks.