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
- New paper: Absolute pose estimation from affine cues and gravity direction — ducha_aiki · 2026-09-11
- LoMa Paper Ships REALLY HardPairs Dataset, Accepted at ECCV 2026 — ducha_aiki · 2026-09-11
- Johns Hopkins Launches Full-Stack Hands-on Robot Learning Class with SO-101 Arm Kits — _krishna_murthy · 2026-09-11
- SyncWorld: In-Context Robot World Model Simulates Unseen Views and Embodiments Zero-Shot — ChongZzZhang · 2026-09-11
- A 3D Pose Dataset for Dogs Released — ducha_aiki · 2026-09-11
- Five tells that still make AI video read as AI, from physics glitches to missing operators — NewPhoneWhotiz · 2026-09-11