Benchmark
A benchmark is a dataset, task, split, metric, and protocol used to compare methods. It is not just a collection of examples.
A benchmark estimate can be written as:
This estimate supports a claim only when the test set and metric match the intended use case.
Required Pieces
- Task definition.
- Dataset version.
- Benchmark intake record for the claim being made.
- Evaluation set design.
- Split policy.
- Metric and aggregation rule.
- Baselines.
- Allowed training data and preprocessing.
- Reporting protocol for uncertainty and failure cases.
- Contamination and saturation checks.
Benchmark Contract
A benchmark can be specified as:
where is data, is the task, is the split, is metrics, is allowed training resources/data, and is the reporting protocol.
Without and , benchmark comparisons can mix incompatible evidence, compute budgets, preprocessing, or model-selection procedures.
Claim Boundary
A benchmark result supports only the generalization claim tested by the split:
Random splits, scaffold splits, protein-family splits, temporal splits, and source-held-out splits answer different questions.
Failure Modes
- Leaderboard optimization overfits the public test set.
- Test examples leak into pretraining, retrieval corpora, templates, or few-shot prompts.
- Metric rewards easy shortcuts rather than the intended behavior.
- Baselines are too weak to expose dataset artifacts.
- Aggregate score hides subgroup failures or invalid outputs.
Checks
- What exact generalization claim does the benchmark test?
- Is the split random, temporal, scaffold-based, family-based, source-based, or user-defined?
- Are baselines strong enough to expose trivial shortcuts?
- Is hyperparameter tuning separated from final test evaluation?
- Is the test set protected from contamination?
- Is the benchmark saturated or still discriminative?
- Does the leaderboard reward the behavior that matters?
- Are invalid predictions included in the score denominator?
- Are confidence intervals or paired comparisons reported?
- Are subgroup metrics reported for known hard cases?