benchmark — A standard public test set for comparing AI models — the shared scoreboards behind every "model X beats model Y" claim.
eval — A repeatable test for AI quality — a set of tasks plus scoring — used the way software teams use test suites, because model output is too variable to judge by eyeballing.
Why it matters
Contamination-resistant evalA repeatable test for AI quality — a set of tasks plus scoring — used the way software teams use test suites, because model output is too variable to judge by eyeballing.Full definition → needs rewrites that are provably still correct. Accuracy drops on proof-verified rewrites suggest some reported math scores partly reflect memorization of surface form rather than reasoning.
articleCompiler-Guided Adaptive Proof Search with Cross-Model Synergy on Context-Dependent Theorem ProvingZhuo Liu, Ding Yu, Hangfeng He
articleGraphAlignCoder: Aligning Program and Proof Graphs for Code GenerationYueke Zhang, Zihan Fang, Kevin Leach, Yu Huang
articleDo large language models scrutinise what they review? A multimodal audit of scoring calibration, error detection, and author-identity effectsEmad Alharbi