AISTATS Writing Style

Use this when revising the main paper. AISTATS papers need compact statements of why a statistical or ML contribution matters and enough detail for technical validation.

Revision rules

• Put the AI/statistics contribution in the first page: problem, gap, method or theorem, evidence, and why existing methods are insufficient.
• Make assumptions explicit. AISTATS reviewers are sensitive to hidden distributional, asymptotic, optimization, or data-generating assumptions.
• Pair every major claim with either proof structure, simulation design, empirical table, or reproducibility detail.
• Use the 8-page body for core logic; move long derivations, extra simulations, and extended ablations to the appendix without making the main paper unintelligible.
• Avoid overclaiming empirical wins when differences are small or variance is unreported.
• Maintain double-blind style in self-citations, prior code references, acknowledgements, funding, and artifact descriptions.

Theorem-presentation discipline

• Number assumptions and cite them by label inside every theorem statement; AISTATS readers audit assumption flows the way software reviewers audit imports.
• Give each major theorem a proof sketch in the body; the appendix proof supports the sketch but never replaces it.
• Keep problem-dependent constants visible or explicitly deferred; silently absorbing dimension or condition numbers into O-notation is a standing statistician complaint.
• Define notation once in one location — two-column pages punish redundant redefinition.
• Phrase remarks after theorems as interpretation, not as extra unproved claims; AISTATS reviewers treat every declarative sentence near a theorem as something they may verify.
• When a result is conjectured or only empirically supported, label it so; mixing proved and observed statements in one paragraph is a credibility leak at this venue.

Sentence-level rewrites

Draft pattern	AISTATS-safe rewrite
"Our method significantly outperforms..."	"reduces mean error by X (SE Y) over Z seeded runs"
"Under mild conditions..."	"Under Assumptions 1-3 (boundedness, ...)"
"It is easy to see that..."	"By Lemma 2 and the triangle inequality..."
"Achieves state-of-the-art..."	Claim scoped to the regimes actually tested

Vignette: compressing into eight two-column pages

A draft with three theorems, six figures, and a sprawling related-work section: keep all theorem statements, one sketch each, and the two decision-critical figures (the rate plot and the coverage plot); compress related work into contribution contrasts; move secondary lemmas and four figures to the appendix with explicit forward references. The test of a good cut: a reviewer should reconstruct the whole argument without ever opening the supplement.

Output format

[Writing diagnosis] clear / under-justified / overclaimed / overloaded
[First-page fix] <new framing>
[Claim discipline] <claim -> proof/experiment/limitation>
[Compression cuts] <move/delete/merge>
[Anonymity edits] <phrases to rewrite>