ReadGlim
AI Evaluation Should Measure Verification Cost, Not Correctness Alone — ReadGlim