{"id":"W6968028845","doi":"10.5281/zenodo.14768609","title":"JoeyEremondi/lean-cwf: Lean Proof for ESOP 2025 \"Coverage Semantics for Dependent Pattern Matching\"","year":2025,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"","field":"","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Semantics (computer science); Proof-theoretic semantics; Operational semantics; Action semantics; Well-founded semantics; Denotational semantics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004605065,0.002586256,0.00132185,0.003233104,0.002354098,0.005051891,0.003825169,0.003709873,0.05986452],"category_scores_gemma":[0.01437464,0.001963221,0.003383727,0.00238413,0.002705606,0.008931638,0.006265873,0.006718002,0.02492697],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004894855,"about_ca_system_score_gemma":0.004026576,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007058693,"about_ca_topic_score_gemma":0.005449601,"domain_scores_codex":[0.9934916,0.00124236,0.0003293851,0.0009702977,0.003356004,0.0006103268],"domain_scores_gemma":[0.9922184,0.003211785,0.0002450628,0.001281,0.002742637,0.0003012195],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003182232,0.0001997409,0.0004761884,0.0007459556,0.0001508133,0.0002762237,0.0002562569,0.005469249,0.006573124,0.6552155,0.2420493,0.08826948],"study_design_scores_gemma":[0.0002332277,0.00004736017,0.0004182303,0.0002137327,0.0001518692,0.0003118146,0.00008287028,0.03526625,0.02235814,0.7191915,0.2216135,0.0001115639],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.005633642,0.0008812129,0.8272489,0.009860382,0.001759733,0.0002965881,0.00484507,0.01411513,0.1353592],"genre_scores_gemma":[0.1881142,0.00170794,0.617151,0.007376411,0.001803824,0.001001724,0.02148659,0.01747329,0.143885],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.05986452,"threshold_uncertainty_score":0.2002668,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02845434679451792,"score_gpt":0.2673128254369906,"score_spread":0.2388584786424727,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}