LLM-as-a-Verifier replaces discrete judge scores with continuous scores computed from the expectation over scoring token logits, requiring no additional training. The work shows scales along three dimensions: score granularity, repeated evaluation, and criteria decomposition. Continuous scoring reduces ties and improves separation between correct and incorrect solutions, while repeated evaluation and decomposed criteria further raise verification accuracy. It reports state-of-the-art results on Terminal-Bench V2 (86.5%), SWE-Bench Verified (78.2%), RoboRewardBench (87.4%), and MedAgentBench (73.3%).
Beyond ranking candidate solutions, the fine-grained signals act as a progress proxy in Claude Code and Codex extensions and as a dense reward for , improving sample efficiency for SAC and GRPO on robotics and mathematical reasoning. This matters because verification is positioned as an independent scaling axis, not just a component of generation.