colt-artifact-evaluationUse when deciding what evidence package a COLT (Conference on Learning Theory) paper needs, given that COLT runs no artifact-evaluation track or badges — the proof appendix is the artifact. Covers proof-verification passes, optional code companions for numerics, formalization aids, and post-acceptan
colt-author-responseUse when drafting a COLT (Conference on Learning Theory) rebuttal after initial reviews, handling proof-correctness objections, tightness and novelty-of-technique challenges, the area-chair identity-reveal rule, and concession strategy for theorem-first papers where one unrepaired gap outweighs ever
colt-camera-readyUse when converting an accepted COLT (Conference on Learning Theory) paper into its PMLR proceedings version, covering de-anonymization, acknowledgements and funding restoration, appendix consolidation into the archival PDF, PMLR volume metadata and BibTeX hygiene, rebuttal-promised edits, and prese
colt-experimentsUse when deciding whether a COLT (Conference on Learning Theory) paper needs numerical content at all — COLT has no experiments requirement — and, when numerics genuinely help, designing small illustrative simulations that visualize a proved bound, a separation, or a phase transition without dilutin
colt-related-workUse when positioning a COLT (Conference on Learning Theory) submission against prior bounds and models — building the known-versus-new comparison across COLT/ALT lineage, STOC/FOCS, NeurIPS-and-ICML theory tracks, statistics journals, and arXiv concurrency, while respecting anonymity and the paralle
colt-reproducibilityUse when strengthening the reproducibility of a COLT (Conference on Learning Theory) paper, where reproducing means re-deriving — complete proofs, explicit assumptions, tracked constants, correctly invoked external results, self-contained notation — plus seeds and scripts for any numerical illustrat
colt-review-processUse when reasoning about COLT (Conference on Learning Theory) peer review — the double-anonymous-with-informed-area-chair model, correctness-first evaluation by expert theorists, the rebuttal stage before decisions, single-track acceptance stakes, and how PMLR publication and the community's proof c
colt-submissionUse when auditing a COLT (Conference on Learning Theory) submission for CMT readiness, the 12-page PMLR-format main body, single-PDF assembly with unlimited appendix, double-anonymous formatting, the parallel-submission ban covering journals and proceedings venues, and the ordered final-week checks
colt-supplementaryUse 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
colt-topic-selectionUse when deciding whether a result is COLT-shaped (Conference on Learning Theory) — a theorem-first learning-theory contribution — versus better routed to ALT, STOC/FOCS, NeurIPS/ICML/AISTATS, JMLR, or a statistics journal, and whether the right vehicle is a full paper or a COLT open-problem piece.
colt-workflowUse when planning a COLT (Conference on Learning Theory) submission calendar backward from the single AoE paper deadline — proof-completion and verification milestones, writing and appendix-assembly passes, CMT logistics, the rebuttal window, decision aftermath, and PMLR camera-ready with conference
colt-writing-styleUse when revising a COLT (Conference on Learning Theory) paper for theorem-first exposition — formal setup before results, informal-then-formal theorem statements, proof overviews that sell the technique, quantifier and constant hygiene, and fitting the argument's spine into 12 PMLR-formatted pages.