{"id":"W4313382841","doi":"10.1007/978-3-031-21112-6_5","title":"Semantics","year":2023,"lang":"en","type":"book-chapter","venue":"Computer science foundations and applied logic","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Semantics (computer science); Programming language; Computer science; Philosophy; Linguistics","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":[],"consensus_categories":[],"category_scores_codex":[0.0007125971,0.001041853,0.0006463173,0.001556663,0.001987118,0.00592345,0.00139145,0.001087291,0.1203145],"category_scores_gemma":[0.001791639,0.0005162479,0.0007625227,0.001329469,0.002237204,0.009176709,0.002904487,0.002327944,0.0589013],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001496867,"about_ca_system_score_gemma":0.001172756,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001411547,"about_ca_topic_score_gemma":0.001125651,"domain_scores_codex":[0.9989842,0.0002029903,0.00006461833,0.0003463539,0.0002866867,0.0001151846],"domain_scores_gemma":[0.9994809,0.0001126175,0.00002106662,0.0001621912,0.000182605,0.00004058296],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001364488,0.00001196196,0.00004078163,0.00004447234,0.00000413419,0.00002053526,0.000214802,0.00009958923,0.000300031,0.9526774,0.02409895,0.02247375],"study_design_scores_gemma":[0.000007816537,0.000005462789,0.00004467957,0.00002580389,0.000006351116,0.00006273715,0.0001507784,0.0003591491,0.0005839189,0.6215497,0.3771975,0.000006071719],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.002646166,0.001067938,0.1299985,0.002653619,0.000930752,0.0001214102,0.002055333,0.002278198,0.858248],"genre_scores_gemma":[0.1390407,0.00201701,0.05580221,0.001965858,0.001021431,0.0003381787,0.005629539,0.002581552,0.7916035],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1203145,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03603268007389232,"score_gpt":0.2518435928252699,"score_spread":0.2158109127513775,"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."}}