domains / families / research / stoc-experiments

stoc-experiments

separate

Use when judging whether computation belongs in a STOC (ACM Symposium on Theory of Computing) paper at all — STOC accepts on theorems, with no empirical-evaluation expectation — and when it does, scoping it as certified proof computation, constructive search, or clearly labeled illustration rather than benchmarking.

When to use

• judging whether computation belongs in a STOC paper
• scoping computation as certified proof computation
• scoping computation as constructive search
• scoping computation as clearly labeled illustration
• verifying mathematical objects found by computer search
• labeling figures as illustrations
• identifying signals for wrong venue selection

When not to use

• benchmarking against baselines
• runtime tables vs. prior implementations
• empirical evaluation as primary contribution

Skill page

Source