domains / families / research / colt-artifact-evaluation

colt-artifact-evaluation

separate

Use 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-acceptance release of scripts.

When to use

• deciding evidence package for COLT papers
• proof-verification passes
• optional code companions for numerics
• formalization aids
• post-acceptance release of scripts
• creating a verification ledger
• auditing external results
• packaging bandit paper evidence

When not to use

• NeurIPS/ICML-style artifact checklists
• padding submissions with artifact appendices of configs and hardware tables
• promising code release as a substitute for complete proof

Skill page

Source