Individual skill
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.
CAV-Skills/skills/cav-author-response/SKILL.md
Source commit 932eb23331721b16e967c59f093781be1928b498
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- Yes
- Repository scan complete
- No
- Skill scan complete
- Yes
- Observed behavior
- Network or broad shell
- Last checked
- Nov 9, 2026
These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.
Install this skill
Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.
An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.
Repository context
- Repository stars (not skill ratings)
- 1,403
- Repository last updated
- Sep 27, 2026
- License
- MIT
Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.
- academic-writing Repository topic
- agent-skills Repository topic
- journal Repository topic
- academic-research Repository topic
- ai-agents Repository topic
- anthropic Repository topic
- awesome-list Repository topic
- claude Repository topic
- claude-code Repository topic
- economics Repository topic
- research Derived category
Files and excerpt
File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.
Browse files
SKILL.mdcore · 4,922 bytes
Read excerpt
# 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.