{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001601412,0.001024673,0.0009876145,0.001940072,0.00245646,0.009991539,0.00160523,0.002771045,0.6240583],"category_scores_gemma":[0.005148088,0.0007661624,0.001060693,0.001951919,0.001077843,0.008333839,0.003113099,0.004425274,0.5770925],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003197427,"about_ca_system_score_gemma":0.003786359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00391588,"about_ca_topic_score_gemma":0.007476376,"domain_scores_codex":[0.9977792,0.0002118813,0.0001461078,0.0003730807,0.001207735,0.0002820509],"domain_scores_gemma":[0.9967367,0.000375801,0.0001463294,0.0004598642,0.00167381,0.0006073705],"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.00001872295,0.0000107014,0.00002921168,0.00004390624,0.000002184207,0.00001865401,0.00002057371,0.0000223297,0.0002767787,0.01670955,0.969151,0.01369643],"study_design_scores_gemma":[0.000003058616,0.000003619396,0.00002578574,0.00001320515,8.625628e-7,0.00002710367,0.00001423019,0.00001981759,0.00009086444,0.002409867,0.9973885,0.000003032985],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"commentary","genre_scores_codex":[0.0003983084,0.001972241,0.00912754,0.04118156,0.05850859,0.0001069393,0.009528622,0.007180492,0.8719957],"genre_scores_gemma":[0.002540149,0.001140909,0.001598842,0.01056369,0.005439972,0.00005019412,0.005614275,0.002796861,0.9702551],"genre_candidate":"commentary","genre_consensus":null,"teacher_disagreement_score":0.6240583,"threshold_uncertainty_score":0.5362352,"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."}}