aistats-supplementary — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited aistats-supplementary (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.
Findings & checks · 0 flagged
Every scanned point with the score it earned and what moved between them.
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
Use this when assembling AISTATS supplementary material. The supplement can support the paper, but the main submission must remain understandable without it.
documentation, and robustness tables in a clean appendix or supplementary manuscript.
submission after the paper deadline but before review.
private paths, repository owners, grants, or identifying metadata.
theorem statements, or primary empirical results.
large irrelevant files, or hidden OS metadata.
by theorem number, not by page.
back to the two-column body.
simulations, then real-data details.
whose entire argument lives in the supplement reads as unreviewable within the page limit.
supplement material is invisible to reviewers and wasted under reviewer discretion.
the current instructions whether that or a separate file upload is expected.
| Supplement item | Inspection likelihood | Practical implication |
|---|---|---|
| Proof of the headline theorem | High | Polish it to main-text standard |
| Extra ablation and robustness tables | Medium | Reference each one from the body |
| Code archive | Variable, reviewer discretion | The README must orient a reader in one minute |
| Raw experiment logs | Low | Include for completeness, never rely on them |
A submission proving a convergence guarantee for a stochastic mirror-descent variant, plus benchmark plots: the body keeps the theorem, the key lemma, the proof roadmap, and two decision-critical figures; the appendix holds full proofs and step-size sensitivity grids; the archive carries the seeded experiment runner. Nothing decision-critical lives only in the archive, because archive inspection at AISTATS is discretionary.
[Supplement status] Ready / Needs fixes / Not ready
[Files] <appendix/proofs/code/data/logs>
[Deadline] <current supplement deadline and source>
[Anonymity checks] <passed/issues>
[Main-paper dependency] <what breaks if supplement is ignored>~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.