{"id":"W4313359513","doi":"10.1007/978-3-031-21112-6_6","title":"Additional Notation","year":2023,"lang":"en","type":"book-chapter","venue":"Computer science foundations and applied logic","topic":"Mathematics and Applications","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Notation; Computer science; Variety (cybernetics); Mathematical notation; Programming language; Mathematics; Arithmetic; Artificial intelligence","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":["insufficient_payload"],"category_scores_codex":[0.0002792076,0.0002239243,0.0002380594,0.0002638102,0.0006774859,0.0002898851,0.0003355196,0.0001062139,0.005442043],"category_scores_gemma":[0.0000436366,0.0002033937,0.00005704867,0.000184209,0.0005529292,0.00008854091,0.0002438006,0.000174376,0.0008254191],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004917887,"about_ca_system_score_gemma":0.0001536218,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":3.051482e-7,"about_ca_topic_score_gemma":0.000003022709,"domain_scores_codex":[0.998516,0.000002841637,0.0003353702,0.0005223789,0.0004166969,0.0002067282],"domain_scores_gemma":[0.9984543,0.0006250056,0.0002509376,0.0004060811,0.0001593911,0.0001043353],"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":[3.118413e-7,0.00001445292,2.11951e-8,0.00002577587,0.000007172178,4.163118e-7,0.00004056728,0.000006608468,0.000008351649,0.870027,0.1208266,0.009042676],"study_design_scores_gemma":[0.00005993602,0.00001467266,0.000009210912,0.00005927245,0.0000201733,0.000006614827,0.000005661404,0.003290454,0.000002551157,0.8456754,0.1506449,0.0002110887],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.00001919006,0.000005893043,0.207602,0.0004636037,0.0002347152,0.0007706906,0.001850922,0.0003760181,0.7886769],"genre_scores_gemma":[0.001221016,0.00005670651,0.6387616,0.0004480243,0.000952553,0.0005984012,0.003462548,0.000114321,0.3543848],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.4342921,"threshold_uncertainty_score":0.9999526,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1074099551140003,"score_gpt":0.3146642599316279,"score_spread":0.2072543048176276,"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."}}