斯坦福与伯克利联手打造智能验证框架，让AI自己检验自己的答案

这项斯坦福大学、加州大学伯克利分校与NVIDIA Research联合完成的研究，于2026年7月6日以arXiv预印本形式发布，编号为arXiv:2607.05391。论文全文可在arXiv上通过该编号查阅。

一、故事从一个根本性的困境开始

假设你是一家公司的招聘主管，手头有一百份求职简历。你有一位助理，工作能力极强，给每份简历都打了分——但问题是，他只会打"好"或"不好"两个档次，没有"非常好"、"还行"、"勉强过关"这些细分。最终你发现，有三十份简历都被标成了"好"，你根本无法从中挑出最适合的那一个。

这就是当前AI领域里一个真实存在的困境。当人工智能系统被要求"判断一个答案好不好"时，它往往只能给出粗糙的整数分数，比如"7分"或"8分"。当两个答案都是"8分"的时候，AI就陷入了僵局——它无法做出更精细的区分。

斯坦福和伯克利的研究团队把这个问题提炼成了一个核心洞察：AI领域长期以来热衷于让模型"生成"更好的答案，却忽视了让模型"验证"答案这件事同样可以被系统性地改进和扩展。他们将"验证"定位为一个全新的可扩展维度，就像过去几年间研究者们不断扩大训练数据规模、增加模型参数量、延长推理时间一样——验证能力本身也可以被"做大做强"。

于是，他们开发了一套名为LLM-as-a-Verifier（大语言模型作为验证器）的通用验证框架。这套框架不需要专门的额外训练，却能在代码编写、机器人控制、医疗诊断等截然不同的领域里，都显著超越当前最先进的同类系统。

二、"裁判"和"鉴定师"的本质区别

要理解这套框架的核心思想，先要弄清楚两种角色的区别。

一位足球比赛的裁判，他的工作是在90分钟结束后给出"主队赢"或"客队赢"或"平局"这三种结果之一。他的判断是离散的、有限的。而一位葡萄酒品鉴师，在品尝一瓶酒之后，会告诉你"这瓶酒的单宁感大约在73分，果香气在81分，整体余味大概77.5分"——他的评判是连续的、细腻的，能捕捉到极其微妙的差异。

现有的AI判断系统，更像裁判：它被要求给出一个离散的整数分数，比如"这个答案得7分"。它会从自己的概率分布里找到最有可能的那个整数，然后直接输出。这个过程会把大量的内部信息"丢掉"——就像把一张精细的彩色照片强行转成只有黑白两色的剪影，大量细节在转换过程中消失了。

LLM-as-a-Verifier的关键创新在于：它不丢弃这些信息。

具体来说，AI在内部其实对每个可能的分数都持有一个"置信概率"。比如对于一个答案，AI内部可能是这样认为的：给这个答案打"18分"的概率是35%，打"17分"的概率是28%，打"19分"的概率是22%，打"16分"的概率是15%……传统方法直接取最高概率的那个值，得出"18分"就完事了。但LLM-as-a-Verifier会把所有这些概率乘以对应的分值，然后全部加起来——类似于一个加权平均数，最终得到一个像"17.94分"这样的连续数值。

这个连续数值的意义在于：当两个答案分别得到"17.94分"和"17.52分"时，它们之间就存在了可以比较的差距，而不再是无法区分的"都是18分"。研究团队在实验中发现，传统的离散打分方式在评判复杂解决方案时，有高达27%的概率出现"平局"——也就是两个质量明显不同的答案被判定为同分。而连续打分方式的平局率直接降为零。

三、三把"放大镜"：让验证越来越精准

沿着这个核心思路，研究团队发现验证的质量可以沿着三个独立的维度同时提升，就像给同一台显微镜装上三个不同方向的调焦旋钮。

第一个旋钮叫做"评分粒度"。传统方式只在1到5分之间打分，备选分值只有五个整数。LLM-as-a-Verifier可以把评分范围扩展到1到20分，甚至更多档次。注意，这里用的是字母标签而非数字——因为字母能更方便地从模型内部提取对应的概率值。当可选分值从5个扩展到20个时，模型内部那些"细微的差异感"就有了更多的空间来呈现自己，就像一把直尺上的刻度从厘米变成了毫米，测量精度自然提高了。实验数据显示，把粒度从1（只用最高概率的一个分值）扩展到20时，验证准确率从73.1%提升到了77.5%。研究团队用"信噪比"这个概念来量化这种改善——随着粒度增加，正确答案和错误答案之间的分数差距相对于评判的不稳定性来说越来越大，信噪比从0.775增加到0.799。

第二个旋钮叫做"重复评估"。哪怕同一个验证器，对同一对答案，在不同时刻问它，也可能因为各种随机因素得到略有不同的结果。解决办法很简单：多问几次，取平均值。这就像气象预报不依靠单一观测站的数据，而是汇集全国数百个气象站的信息再综合分析。当重复评估次数从1次增加到16次时，准确率从74.7%上升到77.5%。更关键的是，单次连续评估（不重复）的准确率就已经达到74.7%，而离散打分方式即便重复16次才达到74.4%——连续评估单次就赶上了离散方式穷尽16次的表现。

第三个旋钮叫做"标准分解"。假设你要评判一位学生的文章，你可以直接问"这篇文章好不好"——但这个问题太笼统了，评判者往往会被某一个最显眼的特征带偏，忽略其他维度。换一种方式：分别问"这篇文章的语言表达如何"、"论点是否清晰"、"论据是否充分"，然后把三个维度的评分综合起来。这种"把大问题拆成小问题"的思路，能有效减少评判时的偏差。对于代码类任务，研究团队把"这个解决方案正确吗"这个问题分解成三个子问题：任务规格是否满足、输出格式是否正确、执行过程中有没有明显错误。任意单一标准的准确率在75.2%到76.4%之间，而三者综合之后达到78.3%。

当这三个维度同时发挥作用时，验证准确率最终达到78.3%，相比最初的基线提升了超过5个百分点。

四、"锦标赛选拔"：在预算有限的情况下找到最佳答案

理解了验证的基本原理之后，还有一个实际问题需要解决：当有N个候选答案等待比较时，如果对每一对都进行完整验证，需要做N×(N-1)/2次比较。当N=20时，这意味着190次比较，代价相当高。

研究团队为此设计了一个叫做"概率枢轴锦标赛"（Probabilistic Pivot Tournament，PPT）的算法，把这个过程变得更高效。

整个过程分五步走，颇像一场体育赛事的赛制设计。第一步，让所有N个候选答案参加一圈"循环赛"——把它们随机排成一个环形队列，相邻的两两比较，每个答案刚好当一次"A选手"、一次"B选手"。这个环形设计还有一个妙用：AI在评判时往往对放在"A位置"的答案略有偏袒，环形结构让每个答案都经历两种位置，系统性偏差在统计上相互抵消。第二步，根据循环赛的得分，挑出表现最好的前k个答案，称为"枢轴组"。第三步，让每个非枢轴答案都与枢轴组里的每一个成员各比一次。第四步，枢轴组成员之间也互相比较一轮。第五步，汇总所有比较结果，以"获胜概率之和除以参赛次数"作为最终得分，取最高分的那个答案。

这个算法把比较次数从O(N²)降低到了O(Nk²)，当k远小于N时，节省相当可观。实验数据表明，用k=5个枢轴时，只需6609次比较就能达到66.27%的选择准确率，而全量比较需要13111次才能达到67.42%——用不到一半的代价，换来超过98%的效果。更重要的是，这套方法在相同预算下明显优于此前最先进的V1方法。

五、在四个真实战场上的表现

有了这套理论框架，研究团队把它实际部署到了四个完全不同的任务场景中，检验它的普适性。

第一个战场是Terminal-Bench V2，这是一个考察AI在命令行环境中完成复杂任务能力的基准测试，任务包括文件操作、多步骤推理、从失败的工具调用中恢复等。这类任务对验证器来说尤其难——很多错误答案在表面上看起来完全合理，只有深入追究细节才能发现问题。研究团队用GPT-5.5生成每个任务的5个候选答案，再用LLM-as-a-Verifier选出最佳的一个。最终准确率从83.1%（单次生成）提升到86.5%，超越了当时排行榜上所有其他系统，包括GPT-5.5（84.7%）、Claude Opus 4.7（80.2%）等。

值得一提的是一个具体案例。在"query-optimize"任务中，AI需要优化一段运行缓慢的SQL查询，同时保证结果完全一致。两个候选答案表面上都"通过了验证"，但实际上一个答案的验证过程存在严重缺陷——它没有在原始数据库上验证等价性，而是先复制了数据库、添加了索引，再在这个被修改过的数据库上运行对比。这就像考试作弊：在答题纸上先偷偷把答案改了，再对着"改过的答题纸"验证答案正确——逻辑上完全错误。验证器用带有"略微"、"稍微更直接"这样细微措辞的分析报告识别出了这个问题，但传统的离散打分方式把这种细微差异完全淹没了，100次评判中有88次出现平局。而连续打分方式在相同的100次评判中，有77次能够正确区分两个候选答案。

第二个战场是SWE-Bench Verified，这是一个要求AI根据真实的GitHub问题报告来修改代码、使其通过隐藏测试用例的基准测试，共500道题。这里的候选答案来自三个完全不同的AI系统（Claude Opus 4.5、Gemini 3 Flash和MiniMax M2.5），验证器需要在风格迥异的解决方案中挑出最好的那个。最终准确率达到78.2%，超越了三个单独系统的各自最高成绩76.8%。

第三个战场是RoboRewardBench，评估机器人操作任务中的奖励信号质量。这里的输入不再是文字，而是多帧视频——AI需要通过观看视频判断一个机器人的操作"做得有多好"。验证器用的是Qwen 3.6 35B这个多模态大模型，从视频帧序列中提取概率分布进行评判。结果达到87.4%的偏好准确率，超越了专门用4500万条机器人操作数据训练出来的RoboReward-8B（81.4%）和用10亿次比较数据训练的Robometer-4B（78.8%）——它在零训练数据的情况下，击败了用海量专业数据训练的专用系统。

第四个战场是MedAgentBench，评估AI在模拟电子病历系统中处理医疗任务的能力，包括查询患者信息、查找诊疗指南、多步骤工具调用等。医疗场景对验证错误的容忍度极低，因此格外能考验验证器的可靠性。从70.2%的基准准确率提升到73.3%，超越了对比系统中的最高成绩。

六、不只是选择答案——还能实时监控进度

研究团队在实验过程中发现了一个意外而有趣的现象：验证器给出的分数，不只能用来比较"哪个答案更好"，还能用来衡量"一个AI执行任务走了多远"。

换句话说，验证器的分数随着任务执行进度的推进会单调上升——越往后走，分数越高。研究团队把这种相关性量化为"价值顺序相关性"（VOC），用统计学中的Spearman秩相关系数来衡量。如果分数和时间步完全正相关，系数为1；完全无关则为0。

在代码任务上，成功轨迹的VOC达到0.848，而失败轨迹只有0.769——差距不大，但方向很明确：成功轨迹的分数更稳定地随时间上升，而失败轨迹则会在某个时刻"卡住"或下滑。

在机器人任务上，这个指标的表现更加惊人。LLM-as-a-Verifier的VOC高达0.966，而前一代最好方法RoboReward-8B只有0.877，专门为此设计的TOPReward方法只有0.565。TOPReward会在任务早期就迅速把概率推到1.0的上限，之后完全失去了区分"做了一半"和"做了九成"的能力。而连续评分方式保持了平滑的分数曲线，能够精确追踪整个过程的推进状态。

一个具体例子很能说明问题。在一个要求AI完成MNIST手写数字识别推理的任务里，成功的AI执行路径依次是：读取模型文件→安装g++编译器→安装CPU版PyTorch→调整隐藏层维度→完成。验证器给出的分数沿着这个路径稳步攀升。而失败的路径则是：安装了不必要的大型torchvision包→磁盘空间耗尽→编译错误→任务失败。验证器的分数在安装torchvision之后就急剧下滑，提前预警了即将到来的失败。

这个特性具有相当大的实用价值。研究团队据此开发了Claude Code和Codex的扩展插件TurboAgent，让开发者在运行长时间任务时能实时看到一个"进度条"，而不是盲目等待。当分数开始下滑或停滞时，开发者可以提前介入，避免AI走入死胡同并提交一个彻底错误的结果。

七、作为强化学习的"密集奖励"：让AI学习更快

研究团队还把这套验证框架接入了强化学习（RL）训练流程，用来解决一个长期困扰RL研究的经典难题：稀疏奖励问题。

通常情况下，强化学习的训练方式是"做对了给奖励，做错了没奖励"——奖励只在任务完成时才出现一次。这就像教一个孩子玩迷宫，只有走到出口才告诉他"你做对了"，整个过程中没有任何中间反馈。孩子学得会，但要走很多弯路，学习效率很低。

LLM-as-a-Verifier的进度评分，天然可以充当"密集奖励"——在每一步都给出反馈，告诉AI"你现在走对了多少"，让训练信号更加丰富和及时。

在机器人操作任务（LIBERO）上，研究团队把π0机器人控制策略用SAC算法进行强化学习微调。稀疏奖励版本需要大约80万步训练才能达到50%的任务成功率，而加入了验证器密集奖励之后，只需大约45万步就能达到同样的成功率——效率提升约1.8倍。不仅如此，密集奖励版本最终能达到76%的成功率，而稀疏奖励版本只能达到69%的成功率上限。

在数学推理任务（MATH基准测试）上，研究团队对Qwen3-8B语言模型用GRPO算法进行微调。验证器在这里扮演了一个特殊角色：当训练早期所有候选答案的最终答案都是错的时候，传统方法无从比较、无法产生有效的训练梯度。而验证器可以评估推理过程本身的质量——哪怕最终答案都错了，推理链条更严密的那个答案仍然能得到更高的分数，从而为训练提供有效信号。最终在数学任务上实现了约1.1倍的训练效率提升。

八、这套方法的边界和未来

研究团队在论文中也坦诚地列出了当前框架的局限性。

最主要的限制是：这套框架需要访问模型内部的"评分概率分布"（即logprobs），而一些商业AI接口并不提供这个功能。为此，研究团队设计了一个两阶段的变通方案：先用一个功能强大但不提供概率分布的封闭模型（如GPT-5.5）来进行推理分析，生成文字版的思考过程，再把这段思考过程交给一个能提供概率分布的开放模型（如Gemini 2.5 Flash）来完成最终的概率评分。实验表明，这种"借用推理、自己打分"的方式，在单次评估时就能比直接用封闭模型的离散打分高出5.2个百分点（80.1% vs 74.9%），且完全消除了平局现象。

另一个局限是，目前的评判标准（即"评估从哪些角度来看"）还是人工设计的，未来可以尝试让模型根据不同任务自动生成最合适的评判角度。此外，重复评估的次数是固定的，未来可以根据验证器自身的不确定程度来动态分配计算资源，把计算力花在真正需要的地方。

目前的强化学习实验也仍限于单轮任务场景；在更复杂的多轮交互RL场景中，如何让验证器在每个时间步都提供有意义的奖励信号，是下一步值得深入的方向。

说到底，这项研究做的事情，是把"AI评判AI"这件事从一个粗糙的二元判断，变成了一个可以精细调节的连续测量工具。就像温度计比"摸起来热不热"更能准确反映体温一样，连续的、可扩展的验证分数，比离散的整数评级更能捕捉到两个复杂方案之间的真实差异。

这对普通用户意味着什么？当你使用AI工具解决复杂问题时，未来的AI系统可能会在幕后悄悄生成多个候选方案，再用这套验证框架自动帮你挑出最靠谱的那个——就像你去餐厅点餐时，厨师已经把几道备选菜品都做了一遍，只把品质最好的那道端上桌。而且，当AI在执行一个长时间任务时，它自己的"进度感知"也会更加准确，一旦偏离正轨就能提前意识到，而不是把错误的结果一路执行到底才发现问题。

有兴趣深入了解技术细节的读者，可以通过编号arXiv:2607.05391在arXiv平台找到这篇论文的完整版本。

Q&A

Q1：LLM-as-a-Verifier和普通的AI评分有什么本质区别？

A：普通AI评分方式会直接输出一个整数（比如7分或8分），这个过程会丢弃大量内部信息。LLM-as-a-Verifier的做法是把AI对每个可能分值的概率全部提取出来，再做加权求和，得到类似"7.83分"这样的连续数值。这个连续数值几乎不会出现两个答案分数完全相同的情况，从而避免了传统方式高达27%的平局率，让更细微的质量差距也能被识别出来。

Q2：这套验证框架不需要额外训练数据，为什么还能超过专门训练的模型？

A：核心原因在于它利用的是大型语言模型或多模态模型内部已经积累的丰富知识，而不是针对特定任务微调的窄域能力。传统专用奖励模型的知识范围受训练数据限制，一旦遇到训练分布之外的情况就容易失效。LLM-as-a-Verifier通过概率分布的连续评分、多次重复取平均、多角度标准分解这三种方式，把通用大模型内部本已存在的细粒度判断能力更充分地释放出来，因此在零样本情况下也能达到很强的性能。

Q3：概率枢轴锦标赛（PPT）为什么要设计"环形循环"这一步？

A：这是为了消除AI评判时的"位置偏差"。研究发现，当两个答案分别放在提示词的"A位置"和"B位置"时，AI对A位置的答案往往有轻微的系统性偏好。环形循环让每个候选答案都恰好当一次A、一次B，两种位置的偏差在统计上相互抵消，使得后续比较的结果更加客观。这个设计思路类似于体育赛事中的主客场轮换制，确保没有哪个参与者因为"主场优势"而被系统性地高估或低估。