LLM-as-a-Verifier: Verifikation als neue, vierte Skalierungsachse für Sprachmodelle

Drei Paradigmen haben den Fortschritt von Sprachmodellen in den vergangenen Jahren geprägt: Pre-Training-Skalierung, Post-Training-Fine-Tuning mit Instruction-Following und Test-Time Compute — eine Technik, bei der das Modell mehr Rechenleistung für die Generierung und Überprüfung von Lösungen im Moment des Schließens aufwendet. Doch Forscher von Stanford und UC Berkeley argumentieren, dass dieser Triade ein entscheidendes Element fehlt.

In einem am 6. Juli 2026 veröffentlichten Paper identifizieren sie Verifikation — die Fähigkeit zur Beurteilung der Korrektheit von Lösungen — als neue, vierte Skalierungsachse für LLMs, orthogonal zu bisherigen Ansätzen und in der Lage, von ihnen unabhängige Verbesserungen zu bringen.

Drei Skalierungsparadigmen — und eine fehlende vierte?

Das Argument ist konzeptuell einfach, aber methodisch tiefgreifend. Sprachmodelle, die ein schwieriges Problem lösen können, müssen nicht notwendigerweise erkennen, ob eine fremde Lösung korrekt ist. Generative Fähigkeit und Verifikationsfähigkeit sind zwei getrennte Dimensionen, die sich unabhängig entwickeln können.

Während alle drei bisherigen Skalierungsparadigmen die generative Seite der Gleichung verbesserten, blieb die Verifikationsfähigkeit als eigenständige Entwicklungsachse relativ unerforscht. Dieser Mangel wird besonders im Kontext von Agenten deutlich: autonomen Systemen, die langwierige Aufgaben ausführen, Code schreiben und ausführen, Dateien verwalten oder mit externen Diensten kommunizieren. In solchen Systemen ist die Fähigkeit, in Echtzeit ohne externe Aufsicht zu erkennen, ob eine Aktion oder ein Zwischenergebnis korrekt ist, eine grundlegende Voraussetzung für zuverlässigen und sicheren Betrieb.

Kontinuierliche Verifikations-Signale statt binärer Urteile

Der klassische Ansatz zur Verifikation reduziert sich auf ein binäres Urteil: Eine Lösung ist korrekt oder nicht. Dieses Framework ersetzt das durch einen qualitativ anderen Ansatz. Anstatt diskreter Ergebnisse berechnet der Verifikator kontinuierliche Scores als Erwartungswert über die Logit-Verteilung der Scoring-Token — ein probabilistischer Ansatz, der fein abgestufte Rückmeldungen dort liefert, wo binäre Urteile an Präzision verlieren.

Das Framework skaliert die Verifikationsfähigkeit entlang drei unabhängiger Achsen:

Score-Granularität bezieht sich auf die feine Ebene, auf der der Verifikator eine Lösung bewertet — von groben Kategorien bis zur Bewertung jeden Schritts oder Teilprozesses.

Evaluierungswiederholung ermöglicht mehrere unabhängige Bewertungen derselben Lösung, deren Aggregation zu einem genaueren und stabileren Gesamtscore konvergiert.

Kriteriendekomposition teilt die Verifikationsaufgabe in mehrere Unterkriterien auf, die separat evaluiert werden und deren Synthese dann zu einem finalen Score kombiniert wird — ein Ansatz, der besonders nützlich für komplexe Aufgaben mit mehreren Korrektheitsdimensionen ist.

SOTA auf vier Benchmarks aus verschiedenen Domänen

Das Framework erreicht Spitzenergebnisse in vier separaten Anwendungsdomänen:

• Terminal-Bench V2: 86,5 % — Benchmark, der die agentische Fähigkeit zur Verwaltung von Terminalprozessen und Systemschnittstellen misst
• SWE-Bench Verified: 78,2 % — Standard-Benchmark für die Lösung echter GitHub-Software-Engineering-Probleme
• RoboRewardBench: 87,4 % — Bewertung der Qualität von Belohnungssignalen für Robotersysteme
• MedAgentBench: 73,3 % — Medizinische Agentenaufgaben, die die Verifikation klinischer Verfahren und medizinisches Reasoning erfordern

Die Bandbreite der Domänen — von Software-Engineering und Robotik bis zur Medizin — legt nahe, dass die Verifikationsfähigkeit domänenübergreifend generalisiert werden kann, ohne domänenspezifisches Fine-Tuning.

Verifikations-Signale als Dense Reward im Reinforcement Learning

Neben der direkten Anwendung in agentischen Systemen hat das Framework eine weitere wichtige Rolle: Fein granulierte Verifikations-Signale dienen als Task-Progress-Proxy, was die Effizienz des Reinforcement Learnings verbessert.

Konkret wurde das Framework in Kombination mit den Algorithmen SAC (Soft Actor-Critic) und GRPO demonstriert, wo das dichte Feedback des Verifikators die sparse binären Belohnungssignale ersetzt, die im klassischen RL Standard sind. Dieser Ansatz ist besonders wertvoll für Aufgaben, bei denen externe Verifikationsbelohnung schwer präzise zu definieren oder teuer zu berechnen ist.

Die Autoren demonstrierten auch die Integration mit Claude Code — Anthropics Entwicklungstool für KI-unterstützte Softwareentwicklung — wo das Verifikations-Framework fein abgestufte Rückmeldungen für Entwickler liefert, die mit agentischen Systemen arbeiten. Dieses Integrationsbeispiel zeigt einen praktischen Weg vom theoretischen Framework zur Anwendung in Entwicklungstools, die Ingenieure täglich nutzen.

Das Paper ist auf arXiv verfügbar (2607.05391). Das Autorenteam besteht aus Forschern von Stanford und UC Berkeley; Code und Projektseite werden öffentlich veröffentlicht.