ITCS Theory Evidence & Experiments Guide
Guides theoretical computer science authors in framing evidence, structuring proofs, and scoping auxiliary computations for ITCS conference submissions.
Designed specifically for theoretical computer science researchers targeting the Innovations in Theoretical Computer Science (ITCS) conference, this skill ensures paper submissions adhere to pure-theory evidence standards. It helps authors replace inappropriate empirical conventions (like benchmarks or performance tables) with rigorous mathematical proofs, explicit separating witnesses, worked examples, and tight-example constructions. When small computations or searches are used, it guides authors to present verifiable, static artifacts that support proved claims without violating double-blind anonymity requirements.