ITCS Artifact Evaluation
Translates empirical artifact evaluation expectations into rigorous mathematical proof standards for ITCS theoretical paper submissions.
Translates empirical artifact evaluation expectations into rigorous mathematical proof standards for ITCS theoretical paper submissions.
Designed for theoretical computer science researchers submitting to Innovations in Theoretical Computer Science (ITCS), this skill clarifies that ITCS lacks traditional empirical artifact tracks, code repositories, or badge evaluations. Instead, it provides actionable guidance to ensure the paper itself acts as the evaluatable artifact through complete in-PDF mathematical proofs, self-contained definitions, pinned external dependencies, and statically checkable finite computational witnesses.