SODA Appendix & Paper Architect
Architects comprehensive, navigable appendices and back matter for uncapped SODA conference PDF submissions.
Formats and organizes back matter and appendices for ACM-SIAM Symposium on Discrete Algorithms (SODA) submissions where no separate supplementary upload exists. It establishes a rigorous two-tier contract between self-contained front matter and verifiable back-matter proofs, enforces linear dependency ordering, integrates LaTeX restatement macros (thm-restate), builds notation tables and claim indices, and conducts pre-upload audits to eliminate broken cross-references and capped-venue artifacts across long submissions.
Key Features
01Implements dependency-ordered appendix layout with thm-restate theorem restatements
02Enforces two-tier front-matter and back-matter structural contracts for single uncapped PDFs
031,090 GitHub stars
04Configures navigation aids including claim indices, case indices, and hyperref links
05Verifies anonymity compliance and valid links for external machine-verification archives
06Audits submissions to eliminate misfired capped-venue phrases and orphan lemmas
Use Cases
01Structuring a 40–80 page SODA submission into an independently reviewable front matter and verifiable back matter
02Conducting pre-submission audits to detect broken references, missing proof steps, and template reuse errors
03Refactoring omitted proofs into dependency-ordered appendix sections with restated claims