NIM paper · interactive edition Interactive edition · paper, explanations and Lean proofs.

Figure 6Saved test accuracy at the ten checkpoints

Empirical result Supported by saved experimental runs, not by a proof.

1 Paper text

Line plot titled "Test accuracy of checkpointed agents" (legend "1F checkpoints" and "2F checkpoints") with markers at the ten saved checkpoints (epochs 1, 23, 45, 67, 89, 112, 134, 156, 178, 200). The 1F checkpoints stay near 0.08. The 2F checkpoints are about 0.21 at epoch 1, 0.54 at epoch 23, 0.88 at epoch 45, 0.99 at epoch 67 and essentially 1.0 from epoch 89 onwards.
Figure 6: Test restoration accuracy of checkpointed agents (N=20N=20, k=4k=4, D=106D=10^6). Checkpoints are saved at epochs {1,23,45,67,89,112,134,156,178,200}\{1,23,45,67,89,112,134,156,178,200\}. The 2F checkpoints confirm the improvement beyond the intermediate plateau; the more densely sampled validation curve in Figure 5 shows its timing.

Generated from paper_jmlr.tex, lines 1118–1124.

2 Explain this

Test accuracy at the ten saved checkpoints. The checkpoints are sparse, so they confirm the improvement beyond the plateau but do not show its timing; the denser validation curve does.

3 How this is formalised

How this is covered. Empirical. Replotted from the saved checkpoint test-accuracy CSV (20 rows; SHA-256 766f9934272d…) without changes to the values; converted to SVG for this edition without re-plotting.

Coverage record
Paper anchorfig:testacc-H20k4 (manuscript label)
Displayed asFigure 6
ClaimSaved test accuracy at the ten checkpoints
Coverage categoryEmpirical result
Statement sourcepaper_jmlr.tex lines 1118–1124; SHA-256 of the normalised block source b7b14ba64b1c6ca5…
Explanationsexplain/fig:testacc-H20k4, formal/fig:testacc-H20k4
Build evidencefresh isolated rebuild, audit report

4 Lean statement and source

No Lean statement corresponds to this claim. This is an empirical statement about saved experimental runs. Lean proofs do not certify training runs, curves or checkpoints.

Build evidence: fresh isolated rebuild of all 38 bundled modules with Lean (version 4.26.0, started 2026-10-10T15:21:56Z, finished 2026-10-10T15:27:00Z: 38/38 modules compiled, 1588 axiom reports, no errors. See Build for the commands and the independent audit of 2026-10-10 (dated evidence).