Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →Use when targeting International Conference on Computer Aided Verification (CAV) or deciding whether a computer-science manuscript fits this venue. Encodes conference fit, framing, evidence bar, submission-cycle checks, rebuttal posture, and desk-reject risks for formal verification.
.claude/skills/brycewang-stanford-international-conference-on-computer-aided-verification/SKILL.md| Test case | Without → With | Effect | Δ tokens | Δ turns |
|---|---|---|---|---|
| case-01 | ✗→✓ | ▲ Improved | 54% | 0% |
| case-02 | ✗→✓ | ▲ Improved | 65% | 0% |
| case-03 | ✗→✓ | ▲ Improved | 24% | 0% |
| case-07 | ✗→✓ | ▲ Improved | 32% | 0% |
| case-09 | ✗→✓ | ▲ Improved | 44% | 0% |
International Conference on Computer Aided Verification (CAV) is a top computer-science conference venue for verification, model checking, SMT, theorem proving, synthesis, and formal methods tools. It rewards a verification paper with formal correctness and tool or benchmark evidence. Treat this skill as a fit / venue-selection / re-framing tool for conference submission strategy, not as a substitute for the current year's CFP, author kit, ethics policy, or submission portal.
Because CS conferences change deadlines, templates, page limits, review workflow, artifact rules, AI-use policy, and rebuttal formats every cycle, always verify the live official instructions before making a submission-ready recommendation. Start from the official source anchor recorded for this venue in ../../resources/conference-roster.md and ../../resources/official-source-map.md.
methods tooling, or verified systems with a clear correctness claim.
advances, and systems/security venues when verification is only an application.
If the paper misses CAV's bar, compare against international-conference-on-software-engineering / acm-international-conference-on-the-foundations-of-software-engineering / ieee-acm-international-conference-on-automated-software-engineering / acm-sigplan-conference-on-programming-language-design-and-implementation. Re-route based on contribution type, not prestige: theory to a theory venue, systems to a systems venue, application-heavy work to a domain venue, and early ideas to workshops or shorter tracks when the official CFP supports them.
text[Fit] High / Medium / Low (one-line reason) [Target] International Conference on Computer Aided Verification (CAV) [Contribution type] algorithm / theory / system / dataset / benchmark / empirical / design / security / other [Main evidence gap] <single most important missing proof, experiment, study, artifact, or policy check> [Official items to re-check] CFP / author kit / deadline / format / anonymity / ethics / AI-use / artifact / rebuttal / camera-ready [Top rejection risk] <venue-specific risk> [Re-route suggestion] <better-matched conference or journal if not a fit>
| Case | Status | Duration (ms) | Turns | Tokens | Tool calls | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Without | With | Δ | Without | With | Δ | Without | With | Δ | Without | With | Δ | ||
case-01 | fail→pass | 17,376 | 19,577 | +13% | 1 | 1 | 0% | 2,662 | 4,103 | +54% | 0 | 0 | — |
case-02 | fail→pass | 12,474 | 13,648 | +9% | 1 | 1 | 0% | 1,963 | 3,248 | +65% | 0 | 0 | — |
case-03 | fail→pass | 17,980 | 14,987 | -17% | 1 | 1 | 0% | 2,835 | 3,511 | +24% | 0 | 0 | — |
case-04 | fail→fail | 13,232 | 18,793 | +42% | 1 | 1 | 0% | 2,203 | 4,372 | +98% | 0 | 0 | — |
case-05 | pass→pass | 8,522 | 10,986 | +29% | 1 | 1 | 0% | 544 | 2,558 | +370% | 0 | 0 | — |
case-06 | fail→fail | 8,224 | 9,180 | +12% | 1 | 1 | 0% | 490 | 3,192 | +551% | 0 | 0 | — |
case-07 | fail→pass | 22,016 | 12,330 | -44% | 1 | 1 | 0% | 2,770 | 3,647 | +32% | 0 | 0 | — |
case-08 | pass→pass | 9,616 | 9,796 | +2% | 1 | 1 | 0% | 1,641 | 2,734 | +67% | 0 | 0 | — |
case-09 | fail→pass | 19,748 | 16,539 | -16% | 1 | 1 | 0% | 2,564 | 3,702 | +44% | 0 | 0 | — |
case-10 | pass→pass | 13,440 | 10,623 | -21% | 1 | 1 | 0% | 2,187 | 2,775 | +27% | 0 | 0 | — |
case-11 | fail→pass | 19,424 | 10,986 | -43% | 1 | 1 | 0% | 2,232 | 2,811 | +26% | 0 | 0 | — |
case-12 | fail→pass | 19,293 | 12,508 | -35% | 1 | 1 | 0% | 2,983 | 3,664 | +23% | 0 | 0 | — |
case-13 | fail→pass | 22,256 | 16,457 | -26% | 1 | 1 | 0% | 2,760 | 3,584 | +30% | 0 | 0 | — |
case-14 | fail→pass | 17,978 | 12,032 | -33% | 1 | 1 | 0% | 2,725 | 3,108 | +14% | 0 | 0 | — |
case-15 | fail→pass | 19,765 | 10,224 | -48% | 1 | 1 | 0% | 2,278 | 3,424 | +50% | 0 | 0 | — |
case-16 | fail→pass | 23,238 | 11,536 | -50% | 1 | 1 | 0% | 2,955 | 3,608 | +22% | 0 | 0 | — |
case-17 | fail→pass | 17,222 | 7,247 | -58% | 1 | 1 | 0% | 1,949 | 2,975 | +53% | 0 | 0 | — |
case-18 | fail→pass | 22,785 | 13,976 | -39% | 1 | 1 | 0% | 2,653 | 3,393 | +28% | 0 | 0 | — |
case-19 | fail→pass | 17,350 | 8,008 | -54% | 1 | 1 | 0% | 2,610 | 3,169 | +21% | 0 | 0 | — |
case-20 | fail→pass | 17,123 | 13,224 | -23% | 1 | 1 | 0% | 2,751 | 3,059 | +11% | 0 | 0 | — |
case-21 | fail→pass | 20,206 | 17,129 | -15% | 1 | 1 | 0% | 2,373 | 3,774 | +59% | 0 | 0 | — |
case-22 | fail→pass | 17,522 | 9,903 | -43% | 1 | 1 | 0% | 2,748 | 3,456 | +26% | 0 | 0 | — |
DecimalAI ran this skill against gemini-3.6-flash twice over the same eval suite — once with the skill loaded and once without — and compared the two runs case by case. 22 cases were attempted. The headline lift of +68 percentage points is the difference between those two pass rates over the 22 comparable cases. 2 cases got worse with the skill loaded, and they are included in that figure.
Without the skill loaded, the model failed this case. With it loaded, the same prompt on the same model passed. This is one improved case from the latest verified run; every case, including any that regressed, is in the table above.
Other measured skills in the registry, with their headline benchmark lift.