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
- Structural ensembles beat single predictions in TCR:pMHC generalization study — quaidmorris · 2026-07-22
- RSS launches under OMSF to push structural biology data modeling at scale — MoAlQuraishi · 2026-07-22
- enFoldX tops 8 neoantigen scans and an unseen-peptide benchmark — quaidmorris · 2026-07-22
- enFoldX reaches AUC 0.82 on human VDJdb and transfers to mouse at 0.76 — quaidmorris · 2026-07-22
- enFoldX gains accuracy as AF3 ensemble disagreement rises for non-binders — quaidmorris · 2026-07-22
- A 3D ray plot shows how hard this Jacobian counterexample is to read — moultano · 2026-07-22