{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0009584561,0.0009946892,0.0008901517,0.002291314,0.0016892,0.006887228,0.001553289,0.002079751,0.7791094],"category_scores_gemma":[0.004113127,0.0007244035,0.0008481191,0.00244227,0.0007724222,0.007346536,0.002910917,0.003024765,0.7122698],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002216433,"about_ca_system_score_gemma":0.002243689,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002354725,"about_ca_topic_score_gemma":0.004386547,"domain_scores_codex":[0.9987765,0.0001344866,0.00008690504,0.0002532901,0.0006099063,0.00013884],"domain_scores_gemma":[0.9976283,0.0003453896,0.0001183797,0.0004169516,0.0009907527,0.0005002933],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001691158,0.00001263223,0.00003382167,0.000064147,0.000002352164,0.00002229187,0.00002150872,0.00002620769,0.0002888497,0.01418767,0.9662706,0.01905291],"study_design_scores_gemma":[0.000002945284,0.000003147786,0.00002780293,0.00001571167,7.4553e-7,0.00003049422,0.00001231541,0.00001841619,0.00006565259,0.00256803,0.9972522,0.000002539987],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0002990762,0.001354403,0.009071125,0.01813973,0.0257875,0.0001019366,0.01696788,0.008833874,0.9194445],"genre_scores_gemma":[0.002274876,0.0009993034,0.001857262,0.006137033,0.003763384,0.00005383865,0.01128125,0.003904667,0.9697284],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.7791094,"threshold_uncertainty_score":0.3150737,"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."}}