CertJudge探索大模型裁判校准复用

斯坦福、哈佛与香港浸会大学研究者提出并在 ICML 展示 CertJudge，聚焦“谁来评判评判者”。该方法面向用 LLM 给 AI 生成的 Lean 4 定理打分场景，强调一次校准可在更换 judge、提示词或阈值后复用，以减少重复校准成本。

2026-07-12 ~ 2026-07-13 · 3 条相关

• Stanford 等校发布 CertJudge 研究 — sanmikoyejo · 2026-07-12
• CertJudge用一次校准复用评估 — sanmikoyejo · 2026-07-12
• CertJudge 研究在 ICML 展示 — sanmikoyejo · 2026-07-13