domains / families / research / focs-reproducibility

focs-reproducibility

separate

Use when hardening a FOCS (IEEE Symposium on Foundations of Computer Science) paper's checkability — the theory analogue of reproducibility — via hypothesis ledgers, single-source theorem statements that cannot drift between submission and arXiv versions, audits of imported theorems, and certificates for machine-checked steps.

When to use

• hardening FOCS paper checkability
• maintaining hypothesis ledgers
• freezing theorem statements across versions
• auditing imported theorems
• creating certificates for computed steps
• managing errata and changelogs
• pre-freeze checkability review

When not to use

• general proofreading
• camera-ready formatting
• related work citation management

Skill page

Source