Agent skills for Claude Code

Use when matching the argument of an ICALP (EATCS) theory paper to its claim — choosing the proof strategy for an upper or lower bound…

Use when writing the related-work and positioning of an ICALP (EATCS) theory paper — comparing against the best known bounds in the TCS…

Use when making an ICALP (EATCS) theory result independently checkable — writing complete, self-contained proofs in the appendix and a…

Use when splitting an ICALP (EATCS) theory paper between the 15-page main body and the clearly labelled appendix / full version — deciding…

Use when deciding whether a theoretical computer science result belongs at ICALP (EATCS) and, if so, whether it is a Track A (algorithms…

Use when packaging ICASSP code, data, audio or image samples, model checkpoints, scoring scripts, seeds, and logs, even though ICASSP has…

Use when positioning an ICASSP submission across the signal-processing literature — IEEE SPS journals (TSP, TASLP, SPL, TIP and siblings)…

Use when strengthening ICASSP reproducibility across signal-processing modalities — pinning the scoring ruler for the paper's metric…

Use when revising an ICASSP paper into the IEEE two-column four-page house style — leading with the signal-processing contribution and…

Use when an ICCV paper is accepted and the final version, releases, and October conference must be delivered, covering de-anonymization…

Use when designing the experimental program for an ICCV paper against the early-March deadline, covering benchmark-drift audits across the…

Use when positioning an ICCV paper against the literature, covering the intervening-cycle problem of citing a CVPR and an ECCV that…

Use when hardening the reproducibility story of an ICCV paper, covering full recipe disclosure without a mandated compute form, protocol…

Use when reasoning about ICCV's review pipeline and where authors have leverage, covering the March-to-June OpenReview timeline, the…

Use when deciding whether a computer-vision project should target ICCV, weighing the biennial odd-year cadence and its two-year option…

Use when drafting or revising the prose and figures of an ICCV paper, covering writing for an international generalist reviewer pool, the…

Use when packaging IEEE ICDE code, data, workload generators, and logs as supplemental material whose availability reviewers score, and…

Use when designing or auditing IEEE ICDE experiments for a data-engineering paper: workload realism, tuned baselines, scale curves over…

Use when positioning an IEEE ICDE submission against the database canon and neighboring venues, running a reinvention audit across SIGMOD…

Use when strengthening reproducibility evidence for an IEEE ICDE data-engineering paper: pinning hardware, storage devices, software…

Use when explaining or planning around IEEE ICDE peer review: the two-round-per-edition structure, area-chair-coordinated assignment with…