Connect

ICALP Paper Appendix Splitter

brycewang-stanfordbybrycewang-stanford
•
1.1k
•
Learning & Documentation

Optimizes the 15-page main body and appendix split for ICALP conference papers to balance technical persuasion, proof verification, and double-blind compliance.

The ICALP Supplementary skill helps theoretical computer science researchers strategically partition paper content between ICALP's strict 15-page main body and supplementary appendix or full version. It prevents common pitfalls such as over-stuffed bodies and hollow bodies, ensures every deferred proof is complete and easily findable with clear pointers, and maintains strict adherence to lightweight double-blind review requirements.

Key Features

01Ensures all deferred proofs have explicit cross-references and verified placements
021,079 GitHub stars
03Optimizes main body and appendix allocation to adhere to ICALP's 15-page budget
04Detects and fixes hollow-body and over-stuffed body submission failure modes
05Generates structured submission readiness diagnostics and body/appendix fix queues
06Audits supplementary sections for lightweight double-blind review anonymization

Use Cases

01Splitting a theoretical computer science submission between a 15-page body and proof appendix
02Sanitizing supplementary appendices and full-version preprints for anonymous submission
03Auditing manuscript proof sketches and deferred lemmas for referee navigability