{"slug":"brycewang-stanford-cav-supplementary","source_name":"brycewang-stanford/cav-supplementary","name":"Brycewang Stanford/Cav Supplementary","description":"Use when deciding what belongs in a CAV (Computer Aided Verification) paper body versus its optional appendix and artifact, covering the LNCS page limits, the rule that reviewers are not obliged to read the appendix so decision-critical content stays in the body, where full proofs and benchmark tables live, and double-anonymous supplementary material for the anonymized categories.","version":1,"lift":{"pass_rate_delta_pts":22.73,"pass_rate_pct":95.5,"total_cases":22,"passed_cases":21,"tokens_delta_pct":5.5,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-15T20:26:31.079281+00:00"},"skill_score":0.9545,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":22.73,"with_pass_pct":95.5,"without_pass_pct":72.7,"tokens_delta_pct":5.5,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":21,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-15T20:26:31.079281+00:00","run_id":"6134e63a-68fe-46d3-82aa-dd5c72495113","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":"0adb1162af2cdba3eb7307945b05fcf6386276de323024e2ec215bb3128531eb","raw_url":"https://app.decimal.ai/s/brycewang-stanford-cav-supplementary/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-cav-supplementary"}