LLM-as-a-Verifier：验证作为语言模型扩展的全新第四维度

过去几年，三种范式定义了语言模型的进步：预训练扩展、带指令跟随的后训练微调，以及测试时计算——即模型在推理时花费更多计算资源来生成和验证解决方案。然而，斯坦福大学和UC伯克利的研究人员认为，这个三元组缺少一个关键要素。

在2026年7月6日发表的论文中，他们将验证 — 评估解决方案正确性的能力 — 识别为LLM扩展的全新第四维度，与现有方法正交，能够带来独立于其他维度的改进。

三种扩展范式——以及缺失的第四种？

论点在概念上简单，但在方法论上深刻。能够解决难题的语言模型不一定能判断别人的解决方案是否正确。生成能力和验证能力是两个独立的维度，可以各自发展。

现有的三种扩展范式都在改善方程式的生成侧，而验证能力作为独立的发展维度却相对未被探索。这一缺口在智能体的语境中尤为突出：执行长时间任务、编写和运行代码、管理文件或与外部服务交互的自主系统。在此类系统中，在实时、无外部监督的情况下判断某个动作或中间结果是否正确，是可靠且安全运行的基本前提。

用连续验证信号取代二元判断

经典的验证方法归结为二元判断：解决方案要么正确，要么不正确。本框架从质量上颠覆了这一方式。验证器不产生离散结果，而是将连续分数计算为评分token的logit分布的期望值 — 这种概率方法在二元判断失去精度的地方提供精细化的反馈。

该框架沿三个独立维度扩展验证能力：

评分粒度指验证器评估解决方案的精细程度——从粗粒度类别到对每个步骤或子步骤的评估。

评估重复允许对同一解决方案进行多次独立评估，其聚合结果向更准确、更稳定的综合分数收敛。

标准分解将验证任务拆分为多个单独评估的子标准，然后综合成最终分数——这种方法对具有多个正确性方面的复杂任务尤为有用。

在四个基准上达到SOTA

该框架在四个独立应用领域取得了顶级结果：

• Terminal-Bench V2：86.5% — 衡量智能体管理终端进程和系统接口的能力
• SWE-Bench Verified：78.2% — 解决真实GitHub软件工程问题的标准基准
• RoboRewardBench：87.4% — 评估机器人系统奖励信号的质量
• MedAgentBench：73.3% — 需要验证临床程序和医学推理的医疗智能体任务

领域跨度——从软件工程和机器人到医学——表明验证能力可以跨不同任务泛化，无需针对特定领域进行深度专业化微调。

验证信号作为强化学习中的稠密奖励

除了在智能体系统中的直接应用，该框架还有第二个重要作用：精细化的验证信号作为任务进度代理（task-progress proxy），提升强化学习的效率。

具体而言，该框架在SAC（软演员-评论家）和GRPO算法中进行了演示，来自验证器的稠密反馈取代了标准RL中稀疏的二元奖励信号。这种方法对难以精确定义或计算成本高昂的外部验证奖励的任务尤为有价值。

作者还演示了与Claude Code的集成 — Anthropic的AI辅助软件开发工具 — 其中验证框架为使用智能体系统的开发者提供精细化反馈。这一集成示例展示了从理论框架到工程师日常使用的开发工具的实际路径。

论文已在arXiv（2607.05391）发布。作者团队来自斯坦福大学和UC伯克利，代码和项目页面将公开发布。