{"id":"W4401359032","doi":"10.1145/3687256.3687259","title":"Semantics Column","year":2024,"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.001616605,0.0009269415,0.0007402647,0.001972384,0.001830429,0.008059159,0.001603993,0.002250889,0.4435068],"category_scores_gemma":[0.004065061,0.0006375846,0.0008809713,0.002148523,0.001340031,0.01203217,0.003620407,0.0044703,0.3813402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003324584,"about_ca_system_score_gemma":0.003132536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002840906,"about_ca_topic_score_gemma":0.004973165,"domain_scores_codex":[0.9984584,0.000231948,0.0001096881,0.000294917,0.000728233,0.0001767644],"domain_scores_gemma":[0.9976064,0.0003592658,0.0001058615,0.000365953,0.001049354,0.0005131489],"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.00001748568,0.00001599641,0.00004305972,0.00009845523,0.000003475391,0.00002658396,0.00005655723,0.00005875264,0.000488551,0.07209388,0.8871005,0.03999665],"study_design_scores_gemma":[0.000001235501,0.000002555832,0.0000203423,0.0000176084,5.517147e-7,0.00002948554,0.00001610842,0.00002197172,0.00006232756,0.005775897,0.9940493,0.000002621974],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0004416637,0.006015006,0.02854513,0.04292915,0.03246282,0.0001105351,0.006716403,0.007948513,0.8748308],"genre_scores_gemma":[0.00494916,0.005165321,0.006618449,0.01693695,0.006729734,0.0001008128,0.008404726,0.005452899,0.9456419],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.4435068,"threshold_uncertainty_score":0.79377,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03072058701398835,"score_gpt":0.2712612910600725,"score_spread":0.2405407040460842,"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."}}