{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0006148583,0.0003242572,0.0003129864,0.0004599783,0.0007763523,0.001211388,0.001802523,0.0001396998,0.00003024204],"category_scores_gemma":[0.00000751417,0.0002867332,0.0000703198,0.0003850342,0.000837024,0.000389846,0.001693286,0.0002605312,0.000710426],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005241558,"about_ca_system_score_gemma":0.0002057646,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001234761,"about_ca_topic_score_gemma":0.000001385945,"domain_scores_codex":[0.9977192,0.000006324733,0.0003176102,0.001038757,0.0005078113,0.0004102916],"domain_scores_gemma":[0.9984116,0.0001395043,0.0001865875,0.0009770941,0.0001114419,0.0001737667],"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":[2.981176e-7,0.000007069913,4.439677e-7,0.00001080194,0.00000684494,0.000006306444,0.00007569492,0.00005851926,0.00004243175,0.9062483,0.0005249356,0.09301841],"study_design_scores_gemma":[0.0001260624,0.00005388129,0.00009734958,0.00005583363,0.00001298536,0.00003400278,0.000004778042,0.06677222,0.00002987907,0.9040045,0.02831209,0.0004964096],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00004365337,0.00005085187,0.8079433,0.0007050681,0.001082072,0.000255319,0.000006079534,0.0006659966,0.1892477],"genre_scores_gemma":[0.07000188,0.0008343718,0.6539811,0.005045275,0.001990323,0.00009593957,0.0001180566,0.0001903219,0.2677427],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1539621,"threshold_uncertainty_score":0.9999585,"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."}}