{"slug":"brycewang-stanford-cav-related-work","source_name":"brycewang-stanford/cav-related-work","name":"Brycewang Stanford/Cav Related Work","description":"Use when positioning a CAV (Computer Aided Verification) submission against the verification literature across CAV, TACAS, FMCAD, VMCAI, POPL/PLDI, and the journals (FMSD, JAR, TOCL, STTT), writing delta-first contrast rather than a citation catalog, crediting the right benchmark and tool lineages, keeping self-citations double-anonymous for the anonymized categories, and handling concurrent and prior-version overlap.","version":1,"lift":{"pass_rate_delta_pts":-100,"pass_rate_pct":90.9,"total_cases":22,"passed_cases":20,"tokens_delta_pct":17.5,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-15T20:24:29.526001+00:00"},"skill_score":null,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":-100,"with_pass_pct":0,"without_pass_pct":100,"tokens_delta_pct":17.5,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":false,"completed_at":"2026-08-15T20:24:29.526001+00:00","run_id":"f7f7d79b-1c63-4f9e-8812-504a2df19790","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":"6a198b2d32634417516569fa1f637139836496f475ab80df343dce845875c60d","raw_url":"https://app.decimal.ai/s/brycewang-stanford-cav-related-work/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-cav-related-work"}