llm-as-a-verifier/llm-as-a-verifier

LLM-as-a-Verifier is a general-purpose framework that provides fine-grained feedback for any agent without requiring additional training. It achieves SOTA performance across coding, robotics, and medical agentic benchmarks.

解决的问题

LLM-as-a-Verifier 提供了一个统一的框架,为跨任何模态的 AI 代理提供细粒度的反馈和评分。它解决了“LLM-as-a-Judge”评分过于粗糙的问题,通过使用 logprob 分布来创建更精确的奖励信号,进而可用于测试时扩展 (test-time scaling)、进度追踪和强化学习。

运作原理

该框架通过三个主要机制运作:

  1. 细粒度奖励估计:它不使用单一离散分数,而是通过对分数 token 的完整 logprob 分布取期望值来计算奖励,从而对轨迹进行更细致的评估。
  2. 概率枢纽锦标赛 (PPT):为了在不产生 $O(N^2)$ 循环赛成本的情况下有效排序 $N$ 个候选轨迹,PPT 使用一组小型“枢纽 (pivots)”将复杂度降低至 $O(Nk)$。
  3. 前缀缓存优化:为了降低 API 成本和延迟,该框架对提示词进行结构化,使任务和轨迹成为共享前缀,从而显著提高重复评估的缓存命中率。

适用对象

  • AI 代理开发者:希望通过 best-of-N 选择或测试时扩展来提升代理性能的人员。
  • 机器学习研究人员:研究代理基准测试(如 SWE-Bench, Terminal-Bench)的奖励模型和验证框架的人员。
  • 机器人工程师:需要使用多模态(图像/视频)输入来追踪具身智能部署进度的开发者。

特色亮点

  • 多模态支持:接受图像和视频帧作为轨迹的一部分进行验证。
  • 进度追踪:包含一个 ProgressTracker,用于在线监控代理尝试,以便尽早停止无望的执行。
  • SOTA 性能:在 Terminal-Bench 和 SWE-Bench Verified 等基准测试中达到最先进的结果。
  • Claude Code 集成:提供名为 TurboAgent 的插件,作为 API 代理为 Claude Code 实现 best-of-N 选择。

写过它的文章

相关

  • 项目
  • 项目
  • 项目
  • 项目
  • 项目