STOC Artifact & Proof Evaluation
Guides researchers in structuring evidence, computer-assisted proof certificates, and arXiv full versions for STOC submissions.
STOC Artifact Evaluation assists theoretical computer science researchers in navigating artifact standards for the ACM Symposium on Theory of Computing (STOC). Because STOC does not operate an empirical artifact-evaluation track, the public full version on arXiv or ECCC acts as the primary object of record. This skill provides precise guidance on structuring the evidence stack between the 12-page extended abstract and the full version, implementing rigorous protocols for computer-assisted proof steps with standalone certificates, packaging arXiv ancillary files, and integrating formal mechanizations like Lean or Coq without importing inappropriate experimental-venue conventions.