cav-author-response
Use when drafting a CAV (Computer Aided Verification) author response (rebuttal) for a paper that has passed the two-stage review's first filter, covering how to answer soundness/proof objections, benchmark-fairness challenges, and novelty-delta doubts with verifiable evidence while preserving double-anonymity for Regular and Application papers.
Profile →npx skills add brycewang-stanford/Awesome-Journal-Skills --skill cav-author-response --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# CAV Author Response Use this after CAV stage-2 reviews are released. At CAV the rebuttal exists **only for papers that passed the stage-1 filter** — the two-stage process means a rejected paper never reaches this turn. So the rebuttal is a focused instrument: answer what the two additional reviewers, and the two from stage 1, need in order to advocate for the paper in the PC discussion. For Regular and Application papers, the response must respect double-anonymity — do not reveal authors, the tool's real name, or identity-revealing repositories. ## Triage - Answer what affects the decision: **soundness of the theorem/proof**, **fairness and reproducibility of the benchmarks**, **novelty/delta** against prior verification work, scope, and clarity. - Use evidence that already exists in the submission or that you can state precisely — a proof step, a number already in a table, a benchmark-configuration clarification. Do **not** promise unrun experiments as if they were results. - Correct factual misreadings first; a reviewer who misread a theorem's assumption or a benchmark subset is often persuadable. - Keep every word anonymous for anonymized categories. (Tool and Industrial paper
- Triage
- The verification rebuttal, point by point
- Reviewer pushback patterns
- Anonymity in the response (anonymized categories)
- Calibration
- Output format
What does the cav-author-response skill do?
Use when drafting a CAV (Computer Aided Verification) author response (rebuttal) for a paper that has passed the two-stage review's first filter, covering how to answer soundness/proof objections, benchmark-fairness challenges, and novelty-delta doubts with verifiable evidence while preserving double-anonymity for Regular and Application papers.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill cav-author-response --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From brycewang-stanford/Awesome-Journal-Skills, a repository with 909 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.