{"id":"W4406257876","doi":"10.1145/3703595.3705888","title":"Split Decisions: Explicit Contexts for Substructural Languages","year":2025,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Programming language; Natural language processing; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.005082351,0.0007137661,0.0005783676,0.001487875,0.001749415,0.004070932,0.002856906,0.001476448,0.007973404],"category_scores_gemma":[0.01132333,0.001436725,0.00182029,0.001006113,0.005896061,0.01215455,0.008647934,0.005541428,0.00166407],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001753444,"about_ca_system_score_gemma":0.002167042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001822577,"about_ca_topic_score_gemma":0.00326874,"domain_scores_codex":[0.9953968,0.001506654,0.0003881983,0.0008440859,0.001377497,0.0004866557],"domain_scores_gemma":[0.9944924,0.002902953,0.0003386739,0.001504505,0.0005352732,0.0002261545],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000217622,0.00001538648,0.0002338976,0.0000881786,0.00001160842,0.0001292445,0.0006410427,0.00219901,0.001531742,0.9803499,0.0008152252,0.01396294],"study_design_scores_gemma":[0.00002591044,0.00003002518,0.0001380749,0.0001405896,0.00004106414,0.0001436302,0.0002630574,0.0150752,0.00761936,0.9378313,0.03864935,0.00004241253],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01118282,0.0002872939,0.9770752,0.0006455876,0.0001324754,0.0001298061,0.0001337253,0.002238623,0.008174421],"genre_scores_gemma":[0.3834593,0.000705738,0.6051961,0.0008710016,0.0001900314,0.0004139047,0.0003127402,0.001073592,0.00777767],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007973404,"threshold_uncertainty_score":0.02687836,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02465082650699637,"score_gpt":0.3041620411142196,"score_spread":0.2795112146072232,"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."}}