{"slug":"brycewang-stanford-acm-ieee-symposium-on-logic-in-computer-science","source_name":"brycewang-stanford/acm-ieee-symposium-on-logic-in-computer-science","name":"Brycewang Stanford/Acm Ieee Symposium On Logic In Computer Science","description":"Use when targeting ACM/IEEE Symposium on Logic in Computer Science (LICS) 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 logic in CS.","version":1,"lift":{"pass_rate_delta_pts":30.43,"pass_rate_pct":87,"total_cases":23,"passed_cases":20,"tokens_delta_pct":38.2,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-09-01T20:53:30.838433+00:00"},"skill_score":0.8696,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":30.43,"with_pass_pct":87,"without_pass_pct":56.5,"tokens_delta_pct":38.2,"turns_delta_pct":0,"total_cases":23,"cases_aggregated":23,"verdict":"mixed","never_hurt":true,"completed_at":"2026-09-01T20:53:30.838433+00:00","run_id":"950d71cc-5d30-4a81-b8e3-895fb7b3bbe1","latest_attempt":{"id":"950d71cc-5d30-4a81-b8e3-895fb7b3bbe1","runner_model":"gemini-3.6-flash","overall_verdict":"mixed","completed_at":"2026-09-01T20:53:30.838433+00:00","gate":null},"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,"total_uses":0,"total_users":0,"manifest_hash":"f6ae0ca637430db6181dd9422cf6279e16e5440f27df5c99716976b9401ae894","install_name":"brycewang-stanford-acm-ieee-symposium-on-logic-in-compute-3de56e","version_id":"c5aef831-5184-4e5c-9b11-5229b80d359c","body_sha256":"f6ae0ca637430db6181dd9422cf6279e16e5440f27df5c99716976b9401ae894","render_hash":"246e5b7f56afd15956946fd20f9f07ece1b4ad56b6d6f1e81d30733d3df6cbf8","raw_url":"https://app.decimal.ai/s/brycewang-stanford-acm-ieee-symposium-on-logic-in-computer-science/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-acm-ieee-symposium-on-logic-in-computer-science"}