Skill UI

This guide clarifies what constitutes an 'artifact' for pure-theory venues like ITCS. It emphasizes that the core deliverable is not code or functional components, but the mathematical argument itself. Successful evaluation relies on providing complete, self-contained proofs within the submitted PDF, along with citing dependencies precisely. It details how to handle minor computational content to ensure static, verifiable checks.

This guide helps researchers determine if their manuscript is suitable for highly quantitative, theory-driven journals. It emphasizes evaluating the core deliverable—whether it consists of a formal model, provable properties, and an algorithm, rather than relying solely on empirical data or policy recommendations. Essential for optimizing journal submission strategy.

This guide outlines the methodology for crafting a comprehensive, point-by-point rebuttal to a journal's decision letter. It teaches authors how to transform abstract reviewer critiques into concrete, auditable deliverables, such as formal derivations, new simulation cells, or empirical illustrations. The focus is on providing undeniable evidence for every claim to maximize the chances of publication acceptance.