Problem
Why final-answer supervision is too coarse
The example figure follows an X.com question through generator steps, retriever outputs, look-ahead search, PRM scoring, and PEM refinement.

The left side gives a concrete process trace. The generator first asks about the company Elon Musk found in 1999 and searches adaptively; the retriever returns evidence that X.com was an online bank founded by Ed Ho, Harris Fricker, Elon Musk, and others. The next generator step asks for the current name of X.com, and the retriever returns evidence that X.com was rebranded as PayPal after merging with Confinity.
The right side shows why this trace needs process supervision. A tree of candidate steps is scored with look-ahead search, rollout, and backpropagation; the PRM gives process scores such as 0.3, 0.4, and 0.2, while the PEM refines a reasoning step using explanations about question decomposition, retrieval, and answer generation errors. The bottom legend breaks the process into sub-query, retrieval, and reasoning.
- Read the left trace as evidence that retrieval-augmented reasoning is a sequence of generator and retriever decisions.
- Read the right tree as the search space over possible intermediate steps.
- PRM scores select promising paths, while PEM explanations indicate what kind of process error should be refined.








