{"slug":"brycewang-stanford-cav-review-process","source_name":"brycewang-stanford/cav-review-process","name":"Brycewang Stanford/Cav Review Process","description":"Use when reasoning about how a CAV (Computer Aided Verification) submission is evaluated, covering the two-stage reviewing process (two reviews then an early-reject filter, then two more reviews with a rebuttal), the partial double-anonymity by category, the accept/reject outcome, the optional non-conditional artifact evaluation, and how CAV differs from TACAS and FMCAD.","version":1,"lift":{"pass_rate_delta_pts":18.18,"pass_rate_pct":72.7,"total_cases":22,"passed_cases":16,"tokens_delta_pct":36.6,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-15T20:27:41.897390+00:00"},"skill_score":0.7273,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":18.18,"with_pass_pct":72.7,"without_pass_pct":54.5,"tokens_delta_pct":36.6,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":false,"completed_at":"2026-08-15T20:27:41.897390+00:00","run_id":"d94317b0-dede-4e0b-ba7f-beb994c57dbf","version_number":1,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":"safe","content_status":"clean","indexable":true},"license":"MIT","install_count":0,"manifest_hash":"8553352d5b611f45c316d4b38710abd94fae624665fa93983111c3568f4c1d5f","raw_url":"https://app.decimal.ai/s/brycewang-stanford-cav-review-process/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-cav-review-process"}