colt-supplementary
GitHub指导COLT论文附录构建，涵盖12页正文限制下的内容拆分、定理重述规范、引理排序及符号表设计。强调单PDF提交模式，旨在优化审稿人验证体验，避免组织混乱导致的软拒稿风险。
Trigger Scenarios
Install
npx skills add brycewang-stanford/Awesome-Journal-Skills --skill colt-supplementary -g -y
SKILL.md
Frontmatter
{
"name": "colt-supplementary",
"description": "Use when structuring the appendix of a COLT (Conference on Learning Theory) submission — the unlimited-length proof appendix inside the single PDF — covering body\/appendix splitting for a 12-page limit, theorem restatement discipline, lemma ordering, notation tables, and what referees expect to find where."
}
COLT Supplementary
COLT's "supplementary material" is the appendix of the same PDF: the 2026 CFP (checked 2026-07-08) capped the main body at 12 PMLR-formatted pages excluding references and put no page limit on references and appendices, with the entire manuscript submitted as a single file. There is no separate upload, no later supplement deadline, and no distinction between "appendix" and "supplement" — which changes how you should architect the document compared to venues with detached supplements.
Consequences of the single-PDF model
- The appendix is unambiguously part of the reviewed record; referees are choosing to read it, not to download it. Lower the cost of that choice.
- Nothing can be added after the deadline. A proof hole discovered post-submission cannot be patched by a supplement upload the way an artifact fix sometimes can elsewhere.
- Length is free but attention is not: a 60-page appendix is normal at COLT, a disorganized one is a soft reject, because the referee's verification budget is the binding constraint.
The 12-page split decision
What must stay in the body:
- Formal problem setup: the model, the interaction protocol, the adversary or distributional assumptions, and the performance measure — complete, not "see Appendix A for the model."
- Every main theorem statement, with all hypotheses visible.
- A proof overview per main theorem: the decomposition, the key lemma, and the step where prior techniques fail. This is what earns the referee's appendix time.
- The comparison to nearest prior bounds (a small table often beats prose).
What belongs in the appendix: full proofs, auxiliary lemmas, generalized statements, deferred case analyses, extended related work, and any numerical-illustration details.
Appendix architecture that referees can verify
| Appendix section | Contents | Referee use pattern |
|---|---|---|
| A. Notation and preliminaries | Symbol table, standard inequalities used | Consulted repeatedly; keep to 2-3 pages |
| B. Proof of Theorem 1 | Restated theorem, roadmap paragraph, main lemmas, proof | Read linearly, checked line by line |
| C. Proof of Theorem 2 | Same pattern | Read only if Theorem 2 matters to the referee |
| D. Auxiliary lemmas | Technical facts shared across proofs | Jumped to via references |
| E. Deferred discussion / numerics | Extensions, illustration details | Skimmed |
Ordering rule: appendix sections mirror body theorem order, and each proof section is self-contained modulo Appendix A and D — a referee verifying Theorem 2 must never need to have read the proof of Theorem 1 unless the dependency is real and declared.
Restatement discipline
Restate every theorem and lemma before its appendix proof, with identical numbering, via a restatable environment rather than copy-paste (drift between two hand-maintained copies of a theorem is a notorious COLT embarrassment):
\usepackage{thmtools, thm-restate}
\declaretheorem[name=Theorem]{theorem}
% In the body:
\begin{restatable}{theorem}{mainregret}\label{thm:main}
Under Assumptions 1--2, ALG attains $R_T = O(\sqrt{dT\log K})$.
\end{restatable}
% In Appendix B:
\mainregret* % re-renders Theorem 1 verbatim, same number
\begin{proof}
We decompose the regret as ... (roadmap sentence first, then the argument).
\end{proof}
Roadmap paragraphs are load-bearing
Open each major appendix proof with 4-6 sentences: the decomposition, what each lemma contributes, where the novelty sits, and which steps are routine. Referees use the roadmap to allocate verification effort; proofs without one get either shallow reads (bad for credit) or suspicious reads (bad for scores).
Vignette: splitting a two-theorem online-learning paper
A draft proves an upper bound (algorithm + potential argument, 14 pages of proof) and a lower bound (instance family + information argument, 9 pages), plus one simulation. The COLT-shaped split:
- Body: protocol and definitions (2 pp), both theorem statements with remarks (2.5 pp), upper-bound overview with the potential function displayed and one key lemma proved in full (3 pp), lower-bound overview with the instance family drawn as a figure (2 pp), related-work table and discussion (1.5 pp), simulation figure with a two-sentence reading (0.5 pp), intro (1.5 pp) — twelve and a half, so the second remark and one corollary move to the appendix to make twelve.
- Appendix: A notation; B full upper-bound proof (restated theorem, roadmap, lemmas); C full lower-bound proof; D auxiliary facts; E simulation procedure.
- The key-lemma-in-body choice is deliberate: proving one central lemma completely in the body demonstrates the paper's proof standard where every referee will read it.
Common appendix defects at COLT
- Lemma used before it is stated anywhere, forcing a forward hunt.
- "By a standard argument" covering the one step that is actually new.
- Notation redefined locally inside an appendix section, colliding with Appendix A.
- Case analyses whose cases do not visibly exhaust the space.
- Cross-references into the body by page number instead of by label (page numbers shift when the class file changes at camera-ready).
- Illustration figures buried between proofs, breaking the verification flow — give numerics their own terminal section.
Cycle-volatility warnings
- The unlimited-appendix, single-PDF rule is the 2026 formulation; earlier cycles phrased limits differently and later ones may again (待核实 in each CFP).
- If a cycle ever adds a separate supplement channel or reviewable-code slot, its CFP will say so; do not assume either from this file.
Output format
[Split verdict] body self-contained / decision-critical material trapped in appendix
[Appendix map] <section -> theorem it serves>
[Restatement check] restatable environments / copy-paste risk
[Roadmaps] present for <k>/<n> major proofs
[Top structural fix] <one reorganization with highest referee payoff>
Version History
- 9f86f09 Current 2026-07-19 14:41
