What they did
The authors define verifier information density as V_d = k/C, where C is the length of the causal chain required for success and k is the number of steps whose correctness the verifier exposes. Using shared-rollout comparisons on tau^2-bench, they separate reward density—how many turns receive credit—from credit geometry, meaning which particular turns receive it.
They compare uniform reward redistribution with sparse terminal rewards, credit concentrated on progress turns, random-turn controls matched for concentration, and reward-to-go. They also test the proposed relationship through synthetic experiments, BFCL V3, ToolACE-2-8B across model families, and pre-registered replication and coverage sweeps.
Key findings
- On tau^2-bench, terminal verification exposed only the final-write turn in 98% of rollouts, although successful behavior required chains of five to eight prerequisite tool calls. Measured V_d was about 0.15.
- Uniform dense rewards outperformed sparse binary outcomes on tau^2-bench; the sparse reward was net harmful in four of five seeds. Concentrating the same advantage on progress turns or random turns was similarly harmful, indicating that coverage mattered more than targeting.
- Synthetic experiments placed the targeting-versus-coverage crossover near V_d = 0.8. BFCL V3 remained below that boundary at roughly 0.4; uniform redistribution won there, while a matched-concentration shuffled control was negative in all eight seeds.
- The effect reproduced on ToolACE-2-8B across 32 pre-registered seeds, with a reported delta of -0.048, and in an independent 20-seed replication. A matched-budget sweep showed a monotonic reduction in the deficit as more of the causal chain received credit, reaching parity only at full coverage; reward-to-go also reached full-coverage parity.
Why it matters
The results challenge the assumption that better multi-turn credit assignment mainly requires identifying the few turns that mattered. When a verifier reveals little about intermediate correctness, uniformly covering the trajectory may be the stronger default; proposed targeting methods should therefore be compared against controls that preserve reward concentration while shuffling its placement.
Caveats
The claimed phase boundary comes from a synthetic setting, and the empirical evidence centers on tool-use benchmarks with terminal-state verifiers. Verifier information density also depends on how causal-chain length and exposed correctness are identified. Whether the same regime holds for richer process supervision, learned verifiers, longer trajectories, or other agent tasks remains open.