{"id":"W4233050175","doi":"10.1145/2984450.2984456","title":"Semantics column","year":2016,"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":"Soundness; Column (typography); Semantics (computer science); Component (thermodynamics); Computer science; Programming language; Philosophy; Epistemology; Physics","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001949965,0.000108804,0.0001472447,0.0000409235,0.00008231203,0.0001179958,0.001349322,0.0000756962,0.00003297088],"category_scores_gemma":[0.0002147602,0.00006745211,0.00006151494,0.0001831318,0.00004657366,0.0002590575,0.0004302867,0.00004949764,0.001135781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002729446,"about_ca_system_score_gemma":0.00004467852,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001157144,"about_ca_topic_score_gemma":0.00009817462,"domain_scores_codex":[0.9989427,0.00005595966,0.0001811087,0.0003133104,0.0001927593,0.0003141185],"domain_scores_gemma":[0.998485,0.0001570342,0.00008128319,0.001124269,0.00005578502,0.000096678],"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.000003223595,0.00006736429,0.02497867,0.00001688076,0.00002711654,0.00005951721,0.0004594583,5.643016e-7,0.003275842,0.5735126,0.0506514,0.3469474],"study_design_scores_gemma":[0.0006406839,0.0001960064,0.002884643,0.00000844325,0.000007629793,0.00004890113,0.00003051702,0.0001396223,0.002411108,0.1351755,0.8581209,0.000336024],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007279693,0.0002534197,0.9647201,0.007738349,0.001991727,0.000304417,8.505455e-7,0.0005390315,0.01717247],"genre_scores_gemma":[0.9870664,0.00002804615,0.006680083,0.0005099229,0.000224775,0.00001365752,5.180547e-7,0.000008450044,0.005468124],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9797868,"threshold_uncertainty_score":0.999642,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03022646206520492,"score_gpt":0.2554961291519797,"score_spread":0.2252696670867748,"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."}}