Saved in:
Bibliographic Details
Main Authors: Jia, Zeyu, Rakhlin, Alexander, Xie, Tengyang
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2502.10581
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910894992130048
author Jia, Zeyu
Rakhlin, Alexander
Xie, Tengyang
author_facet Jia, Zeyu
Rakhlin, Alexander
Xie, Tengyang
contents As large language models have evolved, it has become crucial to distinguish between process supervision and outcome supervision -- two key reinforcement learning approaches to complex reasoning tasks. While process supervision offers intuitive advantages for long-term credit assignment, the precise relationship between these paradigms has remained an open question. Conventional wisdom suggests that outcome supervision is fundamentally more challenging due to the trajectory-level coverage problem, leading to significant investment in collecting fine-grained process supervision data. In this paper, we take steps towards resolving this debate. Our main theorem shows that, under standard data coverage assumptions, reinforcement learning through outcome supervision is no more statistically difficult than through process supervision, up to polynomial factors in horizon. At the core of this result lies the novel Change of Trajectory Measure Lemma -- a technical tool that bridges return-based trajectory measure and step-level distribution shift. Furthermore, for settings with access to a verifier or a rollout capability, we prove that any policy's advantage function can serve as an optimal process reward model, providing a direct connection between outcome and process supervision. These findings suggest that the empirically observed performance gap -- if any -- between outcome and process supervision likely stems from algorithmic limitations rather than inherent statistical difficulties, potentially transforming how we approach data collection and algorithm design for reinforcement learning.
format Preprint
id arxiv_https___arxiv_org_abs_2502_10581
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Do We Need to Verify Step by Step? Rethinking Process Supervision from a Theoretical Perspective
Jia, Zeyu
Rakhlin, Alexander
Xie, Tengyang
Machine Learning
Artificial Intelligence
As large language models have evolved, it has become crucial to distinguish between process supervision and outcome supervision -- two key reinforcement learning approaches to complex reasoning tasks. While process supervision offers intuitive advantages for long-term credit assignment, the precise relationship between these paradigms has remained an open question. Conventional wisdom suggests that outcome supervision is fundamentally more challenging due to the trajectory-level coverage problem, leading to significant investment in collecting fine-grained process supervision data. In this paper, we take steps towards resolving this debate. Our main theorem shows that, under standard data coverage assumptions, reinforcement learning through outcome supervision is no more statistically difficult than through process supervision, up to polynomial factors in horizon. At the core of this result lies the novel Change of Trajectory Measure Lemma -- a technical tool that bridges return-based trajectory measure and step-level distribution shift. Furthermore, for settings with access to a verifier or a rollout capability, we prove that any policy's advantage function can serve as an optimal process reward model, providing a direct connection between outcome and process supervision. These findings suggest that the empirically observed performance gap -- if any -- between outcome and process supervision likely stems from algorithmic limitations rather than inherent statistical difficulties, potentially transforming how we approach data collection and algorithm design for reinforcement learning.
title Do We Need to Verify Step by Step? Rethinking Process Supervision from a Theoretical Perspective
topic Machine Learning
Artificial Intelligence
url https://arxiv.org/abs/2502.10581