{"id":"W4410161521","doi":"10.1145/3734192.3734194","title":"Semantics Column","year":2025,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Column (typography); Semantics (computer science); Computer science; Programming language; Computer network","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001861319,0.0001040588,0.0001599364,0.00006989916,0.0001146618,0.0002024816,0.00141602,0.00008116792,0.00001152949],"category_scores_gemma":[0.0001854118,0.00009062559,0.00006270553,0.0004345039,0.00003531957,0.0001533646,0.0005491592,0.00009676584,0.0002705338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002681717,"about_ca_system_score_gemma":0.00008140978,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002471646,"about_ca_topic_score_gemma":0.0001544066,"domain_scores_codex":[0.9990474,0.0000538192,0.0001896058,0.0003014581,0.0001427143,0.0002650316],"domain_scores_gemma":[0.9986355,0.0001169099,0.00005833735,0.001077926,0.00005732853,0.00005405364],"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.000001790141,0.00005304677,0.01392716,0.00003239445,0.00002752448,0.00002660488,0.0003161374,0.000005135044,0.0002407709,0.841243,0.06214293,0.08198356],"study_design_scores_gemma":[0.0003722036,0.00007784612,0.002696578,0.000006942399,0.00001154423,0.00001121328,0.00006799756,0.001359191,0.0008604765,0.1726844,0.8216411,0.0002104602],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003494689,0.000707969,0.9023756,0.006113612,0.003045389,0.0003966205,4.428122e-7,0.0005499153,0.08331577],"genre_scores_gemma":[0.9797704,0.00002181746,0.00868551,0.001467694,0.0001065918,0.00001805142,0.000001677439,0.000005088187,0.009923202],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9762757,"threshold_uncertainty_score":0.3695604,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02335366936589616,"score_gpt":0.2695427972365912,"score_spread":0.246189127870695,"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."}}