domains / families / research / colt-supplementary

colt-supplementary

separate

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.

When to use

• structuring COLT appendix
• body/appendix splitting for 12-page limit
• theorem restatement discipline
• lemma ordering
• notation tables
• referee verification patterns
• single-PDF manuscript architecture

When not to use

• venues with detached supplements
• post-submission artifact fixes
• non-COLT conference submissions

Skill page

Source