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エージェントに対して、きめ細かなフィードバックとスコアリングを提供する統一フレームワークです。これは、logprob分布を使用してより正確な報酬信号を作成することで、「LLM-as-a-Judge」による粗いスコアリングの問題を解決します。この信号は、テスト時のスケーリング(test-time scaling)、進捗追跡、および強化学習に利用できます。

仕組み

このフレームワークは、主に3つのメカニズムで動作します。

  1. きめ細かな報酬推定:単一の離散スコアではなく、スコアトークンの完全なlogprob分布の期待値をとることで報酬を計算し、軌跡のより詳細な評価を可能にします。
  2. 確率的ピボットトーナメント (PPT):$O(N^2)$ の総当たり戦のコストをかけずに $N$ 個の候補軌跡を効率的にランク付けするため、PPTは少数の「ピボット」を使用して計算量を $O(Nk)$ に削減します。
  3. プレフィックスキャッシュ最適化:APIコストとレイテンシを削減するため、タスクと軌跡が共有プレフィックスとなるようにプロンプトを構成し、繰り返し評価におけるキャッシュヒット率を大幅に向上させます。

対象ユーザー

  • AIエージェント開発者:best-of-N選択やテスト時のスケーリングを通じてエージェントのパフォーマンスを向上させたい方。
  • 機械学習研究者:エージェントのベンチマーク(例:SWE-Bench, Terminal-Bench)のための報酬モデルや検証フレームワークを研究している方。
  • ロボット工学エンジニア:マルチモーダル(画像/動画)入力を使用して、具現化された知能(embodied intelligence)の展開状況を追跡する必要がある開発者。

ハイライト

  • マルチモーダルサポート:検証のために、軌跡の一部として画像やビデオフレームを受け入れます。
  • 進捗追跡:エージェントの試行をオンラインで監視し、見込みのない実行を早期に停止するための ProgressTracker を含みます。
  • SOTAパフォーマンス:Terminal-BenchやSWE-Bench Verifiedなどのベンチマークで最先端の結果を達成しています。
  • Claude Code統合:TurboAgentというプラグインを提供し、APIプロキシとして機能することでClaude Codeのbest-of-N選択を実装します。

これを取り上げた記事

関連

  • プロジェクト
  • プロジェクト
  • プロジェクト
  • プロジェクト
  • プロジェクト