domains / families / research / colt-writing-style

colt-writing-style

separate

Use 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.

When to use

• revising COLT papers
• theorem-first exposition
• informal-then-formal theorem statements
• proof overviews
• quantifier and constant hygiene
• budgeting 12 PMLR-formatted pages
• abstract formula
• anonymity phrasing

Skill page

Source