Paper: 2604.20659 Authors: Jingyi Wang, Lei Zhu, Tengjin Weng, et al. (ICLR 2026) Categories: cs.AI, cs.LG

Abstract

Building on Group Relative Policy Optimization (GRPO), this work introduces model-free and verifiable process supervision via probing the model’s belief in the correct answer throughout its reasoning trajectory. By segmenting generation into discrete steps and tracking conditional probability of the correct answer appended at each segment boundary, they efficiently compute interpretable segment-wise progress measurements.

Problem with GRPO

GRPO eliminates critic models but suffers from indiscriminate credit assignment for intermediate steps, which:

  • Limits ability to identify effective reasoning strategies
  • Incurs overthinking (generating more tokens without improvement)

Key Contribution: Verifiable Process Supervision (VPS)

  1. Belief Probing: Track model’s conditional probability of correct answer at each reasoning step
  2. Segment-wise Progress: Compute progress measurements for discrete segments
  3. Refined Feedback: Replace GRPO’s trajectory-level feedback with segment-wise rewards

Results

Across math and general-domain benchmarks:

MetricImprovement
Math Accuracy+2.6 points
Reasoning Length-13.7%
General Domain Accuracy+2.4 points
General Domain Length-4%

Takeaways

  • Process supervision can be model-free and verifiable
  • Credit assignment at segment level is more efficient than trajectory level
  • Reduces overthinking while improving accuracy
  • Avoids costly Monte Carlo rollouts or auxiliary models

论文: 2604.20659 作者: Jingyi Wang, Lei Zhu, Tengjin Weng等 (ICLR 2026) 分类: cs.AI, cs.LG

摘要

在Group Relative Policy Optimization (GRPO)基础上,本文提出通过探测模型在推理轨迹中对正确答案的置信度来实现无模型且可验证的过程监督。通过将生成过程分割为离散步骤,并在每个片段边界追踪附加正确答案的条件概率,他们高效计算出可解释的片段级进度测量。

GRPO的问题

GRPO消除了批评模型,但存在对中间步骤无差别信用分配的问题,导致:

  • 限制识别有效推理策略的能力
  • 产生过度思考(生成更多token而无改进)

关键贡献:可验证过程监督(VPS)

  1. 置信度探测:在每个推理步骤追踪模型对正确答案的条件概率
  2. 片段级进度:为离散片段计算进度测量
  3. 精细反馈:用片段级奖励替代GRPO的轨迹级反馈

实验结果

跨数学和通用领域基准测试:

指标提升
数学准确率+2.6分
推理长度-13.7%
通用领域准确率+2.4分
通用领域长度-4%

要点总结

  • 过程监督可以是免模型的且可验证的
  • 片段级信用分配比轨迹级更高效
  • 在提升准确率的同时减少过度思考
  • 避免了昂贵的蒙特卡洛rollout或辅助模型