COLT Reproducibility

COLT Reproducibility

At COLT, reproducibility means a competent reader can re-derive every claim from the PDF alone. There is no reproducibility checklist form in the COLT 2026 CFP (checked 2026-07-08) — the venue enforces the property the hard way, through referees who attempt the re-derivation during review. This skill is the pre-submission audit that makes that attempt succeed.

The re-derivability standard

A theorem is reproducible when all of the following hold:

• Its statement is formally complete: every symbol quantified, every assumption named in the statement itself or cited by an explicit assumption label, the probability space and adversary model unambiguous.
• Its proof exists in full inside the submitted PDF — COLT's unlimited appendix removes every excuse for "omitted for lack of space."
• Each proof step is locally checkable: an expert reading line k needs only lines 1..k-1, cited external results, and standard background — never your unpublished intuition.
• Constants and parameter regimes survive the chain: if Theorem 1 needs n ≥ C·d·log(1/δ), the reader can trace what C is or where it was declared absolute.

Audit table: where re-derivation fails

Assumption bookkeeping pattern

Give assumptions their own numbered environment and cite them by label everywhere:

\newtheorem{assumption}{Assumption}