Connect

FOCS Artifact & Proof Packaging

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

Guides the preparation, packaging, and hosting of durable proof certificates, checker code, and full-version preprints for FOCS paper submissions.

Designed specifically for theoretical computer science researchers targeting IEEE FOCS (Symposium on Foundations of Computer Science), this skill provides actionable guidance for managing research artifacts and durable evidence. Because FOCS lacks a traditional artifact-evaluation committee, the full arXiv/ECCC version serves as the permanent artifact of record alongside IEEE Xplore proceedings. This skill helps authors correctly package computer-assisted proof certificates, write independent verification scripts, maintain a strict version ledger across drafts, calibrate formalization claims (e.g., Lean, Rocq, Isabelle), and choose optimal hosting strategies without wasting time on unnecessary systems-style artifact overhead.

Key Features

01Packages self-describing, hash-verified proof certificates and checker code
02Manages multi-version ledgers synchronizing HotCRP submissions, arXiv preprints, and IEEE Xplore camera-ready papers
03Evaluates hosting tradeoffs and licensing between arXiv and ECCC repositories
04Guides calibrated reporting for formal methods and interactive theorem provers like Lean and Isabelle
051,079 GitHub stars
06Eliminates wasted effort on irrelevant systems-track artifact rituals

Use Cases

01Formulating accurate theorem coverage statements for Lean or Rocq formalizations in theory papers
02Packaging machine-checked lemmas and computational certificates for FOCS submissions
03Synchronizing arXiv or ECCC full versions with IEEE proceedings versions across review rounds