FOCS Submission Body Architect
Architects and organizes post-page-ten proofs, navigation pointers, and appendix material for FOCS conference submissions.
Streamlines the organization and proof placement of extended bodies and discretionary pages for IEEE Symposium on Foundations of Computer Science (FOCS) submissions. Because FOCS submissions are single PDFs without separate supplementary uploads where everything past page ten is read at reviewer discretion, this skill establishes a structured two-reader contract, rigorous pointer discipline between windowed statements and full proofs, balanced document length, and robust LaTeX referencing mechanics to satisfy both breadth PC members and depth subreferees.
Key Features
01Structures post-page-ten sections to mirror the overview proof sketches for effortless navigation
02Calibrates document length and isolates mechanical verifications into clear appendices
03Implements strict pointer discipline linking theorem statements to complete proofs in a single hop
04Enforces the two-reader contract ensuring the 10-page guaranteed-read window remains fully self-contained
05Conducts pre-upload audits covering claim boundaries, link navigation, self-containment, and double-blind anonymity
061,079 GitHub stars
Use Cases
01Structuring extended proof bodies, key lemmas, and deferred calculations past page ten of a FOCS submission
02Configuring LaTeX hyperlinking, cleveref tags, and mechanical theorem restatements for seamless reviewing
03Auditing theoretical computer science papers for strict double-blind anonymity and unannounced claim boundaries