Certifying LLM Judges via Behavioral Checks
sanmikoyejo · x · 2026-07-12
The core idea is to stop constantly re-annotating, and instead "certify" judges using automated, falsifiable behavioral checks. The paper lists four categories of checks:\n\n1. P1 Identity\n2. P2 Bug monotonicity\n3. P3 Spec monotonicity\n4. P4 Stability\n\nBy applying controlled perturbations to arbitrary Lean files, this method verifies whether a judge is reliable without the need for gold-standard labels.
More from Research
- Stanford Data-Centric AI Workshop reopens site, extends poster deadline — jure · 2026-10-26
- 'Vibe verification': ~60% of AI-written formal specs prove the wrong property — basedjensen · 2026-10-26
- Ito: a browser that detects browsing intent and auto-organizes tabs into Flows — andrewkuznet · 2026-10-26
- Cornell study says brains process language as linear sequences, challenging Chomsky's hierarchy — anirbanbandyo · 2026-10-26
- Hi3D V1.0 open-sourced with 2M training assets and 90% slicing success rate — kimmonismus · 2026-10-26
- Ortet evaluates 34 open-weight models on 50 health tasks, finds general leaderboards insufficient — elmanmansimov · 2026-10-26