Connect

ITCS Theory Reproducibility

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

Verifies theoretical computer science papers for mathematical completeness, self-contained definitions, and pinned dependencies before conference submission.

ITCS Theory Reproducibility helps theoretical computer science researchers verify that their papers meet rigorous checkability standards for ITCS and peer theory conferences. It audits mathematical arguments to ensure every central claim has a complete proof without deferred load-bearing lemmas, validates that all definitions and notation are self-contained, pins citations and conditional hypotheses, and guarantees synchrony between submitted manuscripts and preprints on arXiv, ECCC, or IACR ePrint.

Key Features

01Pins external theorem citations with specific venues, years, and statement IDs
02Validates conditional hypotheses and separates unproved assumptions from theorems
03Synchronizes submission versions with full preprints on arXiv, ECCC, or ePrint
04Audits proofs to ensure zero omitted or missing load-bearing lemmas
051,079 GitHub stars
06Checks self-containment of definitions, notation, and formal model parameters

Use Cases

01Verifying mathematical rigorousness and dependency provenance in theoretical computer science drafts
02Converting conference-length theory papers into self-contained full versions for arXiv or ECCC
03Pre-submission audit of ITCS, STOC, or FOCS theoretical papers before conference deadlines