Token Lab検索

← 論文ライブラリ
Evaluation & reproducible research / 2019

Show Your Work: compare search budgets, not just winners

A better winning score can come from more attempts. Plot the selection process as part of the result.

Show Your Work: Improved Reporting of Experimental Results · Dodge et al. · arXiv:1909.03004

Original editorial analysis by Token Lab · Source checked 2026-10-25 · Paper claims and synthetic examples are separated.

Detailed technical articles are available in English and Chinese. This locale shows the English article with localized navigation.

01 · What the paper establishes

The paper proposes reporting expected best validation performance as a function of computation budget. It shows that model comparisons can change with search budget and argues for publishing development-time evidence alongside final test results.

Primary source: paper abstract ↗
Study guide & lesson outlineLEARNING CONTRACT

Understand → implement → investigate

Goal: explain the mechanism in this lesson, reproduce one example and test a failure case. Reading alone does not mark mastery.

  • Understand: state assumptions, shapes/units and a counterexample.
  • Implement: reproduce a numerical example and inspect boundaries.
  • Investigate: compare one alternative under a matched budget.

02 · The mechanism

Text / 原始公式
For IID trial scores with common CDF F(s):
P(max(S₁,…,Sₙ) ≤ s)=F(s)ⁿ
Toy two-outcome search:
E[bestₙ]=a+(b−a)[1−(1−p)ⁿ]

Selecting the maximum is an operation performed by the experimenter. More trials increase the chance of finding a favorable setting even when the underlying algorithm is unchanged. The budget unit matters: ten cheap trials and ten expensive trials are not equal compute. Validation guides selection; the final test set should not become another search surface.

Notation and intuition are teaching explanations. Consult the original method for complete assumptions and implementation details.

Mechanism map & worked derivation

Declare search distribution → Run and log every trial → Select with validation only → Plot budget curve; test once
Original schematic; read the steps from top to bottom. SVG ↓
Symbols and assumptions
SymbolMeaning
F(s)Distribution function of a single trial score
nNumber of independent search trials in the toy model
pChance of a high-scoring trial
  1. The maximum is at most s only when every trial is at most s. Under independence and an identical score distribution, multiply the n probabilities to get F(s)ⁿ.
  2. With 10% success probability, failing all ten trials has probability 0.9¹⁰≈0.348678. At least one success therefore has probability 0.651322.
  3. For low/high scores 0.7 and 0.9, the expected best becomes 0.7+0.2×0.651322≈0.830264. This improvement can occur with an unchanged algorithm.
Experiment checkpoint

Compare both trial count and wall-clock compute. An adaptive search does not automatically satisfy the independent-trial derivation.

LOCAL / SYNTHETIC / INTERACTIVE

Change one variable. Explain what moves.

Original teaching calculation, not a reproduction of the paper’s benchmark. Bars are relative within this panel; numeric values and units are authoritative.

04 · Work through an example

Original synthetic search: every trial scores either 0.70 or 0.90, with a 10% chance of 0.90. With one trial the expected best is 0.72; with ten it is about 0.8303; with fifty it is about 0.8990. No algorithm improved. This deliberately simple independent-trial model illustrates selection pressure; it is not the paper’s empirical estimator.

05 · Design your experiment

Log every hyperparameter trial with validation score, wall time, hardware and outcome. Compare methods over several matched budgets and specify whether the search is random, adaptive or manual. Select using validation only, then evaluate the selected checkpoint on a locked test set. Include unsuccessful runs in the cost accounting.

Research deliverable

State one hypothesis; save the configuration and raw results; identify a competing explanation; report the narrowest supported conclusion. Use the linked lab as a local starting point, not a full paper reproduction.

Open related lesson / lab →

06 · Limits & reviewer questions

Editorial caution: an independent-trial formula may not describe adaptive search or correlated configurations. Historical trial logs can be incomplete. A budget curve improves transparency but does not eliminate benchmark leakage or make different hardware perfectly comparable.

Can a model win at one budget and lose at another?

Yes. A robust model may produce good results frequently while another has rare high-scoring configurations. Their expected-best curves can cross, so the budget is part of the claim.

07 · Read the original

Expected validation performance and computation-budget comparisons.

Year is the first arXiv submission year. Unversioned links follow revisions; record the exact version in your reproduction report. DeepSeek-R1 here is explicitly pinned to v1.

Continue this topic

MATHEMATICAL REVIEW · 2026-10-26

Assumptions, implementation & acceptance

F(s)^n requires IID scores sharing the same CDF; independent nonidentical trials use the product of their individual CDFs. n is a positive integer. Best-of-budget and single-run means answer different questions.

Displayed formula, bilingual explanation and declared slider range. This code reproduces the scalar teaching calculation, not the paper training system.

Before running: predict a boundary case

Log every hyperparameter trial with validation score, wall time, hardware and outcome. Compare methods over several matched budgets and specify whether the search is random, adaptive or manual. Select using validation only, then evaluate the selected checkpoint on a locked test set. Include unsuccessful runs in the cost accounting.

Hint: isolate the assumption

Keep the baseline input fixed, change one parameter or boundary, and compare both the numerical result and the claimed units. A passing example verifies this fixture only.

Minimal executable example

Save the example and linked modules in one folder. Use Node.js 22 or newer, then run node show-your-work.mjs. No third-party runtime dependencies.

import {paperCalc} from './paper-core.mjs';
const result=paperCalc("budget",10);
console.log(result);
Reference output — reveal after predicting
{
  "labels": [
    "Single-trial expected score",
    "Expected best after n trials"
  ],
  "values": [
    0.72,
    0.83026431198
  ],
  "unit": "synthetic score"
}

Test and transfer

Log every hyperparameter trial with validation score, wall time, hardware and outcome. Compare methods over several matched budgets and specify whether the search is random, adaptive or manual. Select using validation only, then evaluate the selected checkpoint on a locked test set. Include unsuccessful runs in the cost accounting.

Record input, code version, expected result and observed result in the notebook below. Then construct a counterexample that violates the assumption above and explain why the original conclusion no longer follows.

Download complete kit (.tar.gz) · Complete reference kit and regression checks

Predict, test and keep evidence

Before revealing an answer, predict one result. After the exercise, record the discrepancy and a transfer test. Saved locally across language editions.

Open notebook / export / clear →

The mathematical review scope is recorded per lesson. It does not establish empirical paper reproduction; report suspected errors in your notes. Review scope