{"slug":"brycewang-stanford-international-conference-on-computer-aided-verification","source_name":"brycewang-stanford/international-conference-on-computer-aided-verification","name":"Brycewang Stanford/International Conference On Computer Aided Verification","description":"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.","version":1,"lift":{"pass_rate_delta_pts":68.18,"pass_rate_pct":90.9,"total_cases":22,"passed_cases":20,"tokens_delta_pct":45.2,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-09-02T04:47:35.963256+00:00"},"skill_score":0.9091,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":68.18,"with_pass_pct":90.9,"without_pass_pct":22.7,"tokens_delta_pct":45.2,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":false,"completed_at":"2026-09-02T04:47:35.963256+00:00","run_id":"4e9456ad-5c6f-4fb8-96b8-d6d2b10ede56","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":1,"manifest_hash":"eb269d0057277e09ee22c6483de2214cddc732408668ad0e72b73e757fb107c8","raw_url":"https://app.decimal.ai/s/brycewang-stanford-international-conference-on-computer-aided-verification/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-international-conference-on-computer-aided-verification"}