Connect

STOC Paper Computation Scoping

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

Evaluates, scopes, and formats computational experiments and computer-assisted proofs for ACM STOC submissions.

STOC Paper Computation Scoping guides theoretical computer science researchers in determining whether and how to incorporate computational evidence into ACM Symposium on Theory of Computing (STOC) submissions. It categorizes computation into legitimate theoretical roles—such as certified proof steps, heuristic discovery instruments, or labeled illustrations—while warning against out-of-scope empirical benchmarking that belongs in venues like ALENEX or SODA. With prescriptive patterns for independent proof checkers, deletion tests, and page budget discipline, this skill ensures computational elements reinforce rather than distract from your core mathematical contributions.

Key Features

01Enforces strict page budget and captioning standards for theoretical figures
02Identifies empirical drifting signals to re-route benchmark-heavy papers to venues like ALENEX or ESA
03Classifies computation into certified proof steps, discovery tools, or illustrative figures
041,090 GitHub stars
05Provides lightweight independent certificate verification patterns for computer-assisted proofs
06Applies the deletion test to eliminate non-essential figures and recover core theorem page space

Use Cases

01Evaluating whether computational search or verification belongs in a theoretical CS paper
02Diagnosing whether a paper's empirical focus requires re-targeting from STOC to SODA, ALENEX, or ESA
03Designing an auditable, lightweight independent checker script for computer-found gadgets