STOC Paper Appendix Architect
Architects structured, reviewable supplementary material and discretionary appendices for STOC conference paper submissions.
The STOC Supplementary skill assists theoretical computer science researchers in designing, structuring, and auditing material beyond the guaranteed-read first twelve pages of an ACM Symposium on Theory of Computing (STOC) submission. It ensures that the reviewed Table of Contents acts as an informative navigation map, establishes rigorous theorem-to-proof cross-reference discipline using LaTeX restatement tools, resolves structural appendix smells, and clearly demarcates the boundary between double-blind submission appendices and archival full versions on arXiv or ECCC.
主な機能
01Architects reviewed Table of Contents to navigate discretionary appendix content
02Manages content separation between double-blind submission appendices and arXiv full versions
03Implements precise theorem-to-proof pointer discipline and restatements
041,090 GitHub stars
05Provides content placement decision matrices between the 12-page body and appendix
06Audits and repairs common appendix structural smells like monoliths and dependency mazes
ユースケース
01Auditing LaTeX forward and backward cross-references between body claims and appendix proofs
02Structuring deferred theoretical proofs and lemmas for a STOC conference paper submission
03Refactoring single-PDF submission appendices before STOC conference deadlines