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.

What it solves

LLM-as-a-Verifier provides a unified framework for providing fine-grained feedback and scoring for AI agents across any modality. It solves the problem of coarse-grained "LLM-as-a-Judge" scoring by using logprob distributions to create a more precise reward signal, which can then be used for test-time scaling, progress tracking, and reinforcement learning.

How it works

The framework operates on three primary mechanisms:

  1. Fine-grained Reward Estimation: Instead of a single discrete score, it calculates rewards by taking the expectation over the full logprob distribution of score tokens, allowing for a more nuanced evaluation of a trajectory.
  2. Probabilistic Pivot Tournament (PPT): To efficiently rank $N$ candidate trajectories without the $O(N^2)$ cost of a round-robin tournament, PPT uses a small set of "pivots" to reduce the complexity to $O(Nk)$.
  3. Prefix-Cache Optimization: To reduce API costs and latency, the framework structures prompts so that the task and trajectories are shared prefixes, significantly increasing the cache hit rate for repeated evaluations.

Who it’s for

  • AI Agent Developers: Those looking to improve agent performance via best-of-N selection or test-time scaling.
  • ML Researchers: Those studying reward models and verification frameworks for agentic benchmarks (e.g., SWE-Bench, Terminal-Bench).
  • Robotics Engineers: Developers needing to track the progress of embodied intelligence rollouts using multimodal (image/video) inputs.

Highlights

  • Multimodal Support: Accepts images and video frames as part of the trajectory for verification.
  • Progress Tracking: Includes a ProgressTracker for online monitoring of agent attempts to stop hopeless rollouts early.
  • SOTA Performance: Achieves state-of-the-art results on benchmarks like Terminal-Bench and SWE-Bench Verified.
  • Claude Code Integration: Offers a plugin called TurboAgent that acts as an API proxy to implement best-of-N selection for Claude Code.

Written about in

Related

  • Project
  • Project
  • Project
  • Project
  • Project