{"slug":"brycewang-stanford-cav-topic-selection","source_name":"brycewang-stanford/cav-topic-selection","name":"Brycewang Stanford/Cav Topic Selection","description":"Use when deciding whether a formal-methods project belongs at CAV (Computer Aided Verification) or should be routed to TACAS, FMCAD, VMCAI, LPAR/IJCAR, POPL/PLDI/OOPSLA, or a journal (FMSD/JAR/TOCL), and when choosing the right CAV category — Regular, Short Tool, Short Application, or Industrial Experience & Case Study.","version":1,"lift":{"pass_rate_delta_pts":27.27,"pass_rate_pct":86.4,"total_cases":22,"passed_cases":19,"tokens_delta_pct":26,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-15T20:27:39.408640+00:00"},"skill_score":null,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":27.27,"with_pass_pct":86.4,"without_pass_pct":59.1,"tokens_delta_pct":26,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-15T20:27:39.408640+00:00","run_id":"a93235e6-6a94-4d5a-910a-3988591bd861","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":"602120e16556663dc08302716c75f4210c19e3ce1ba752f1e8d66d12ed0dd413","raw_url":"https://app.decimal.ai/s/brycewang-stanford-cav-topic-selection/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-cav-topic-selection"}