{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.002026888,0.002892106,0.001558322,0.004714069,0.002755372,0.004154241,0.003267428,0.001574806,0.4277336],"category_scores_gemma":[0.007888028,0.0006662059,0.0009776237,0.005744132,0.001473496,0.005964401,0.002418478,0.003745625,0.4006809],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002044733,"about_ca_system_score_gemma":0.001542049,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003356447,"about_ca_topic_score_gemma":0.002868457,"domain_scores_codex":[0.9986425,0.0004262014,0.0001189798,0.0002988224,0.0003642915,0.0001492834],"domain_scores_gemma":[0.9975653,0.000654607,0.0001794729,0.0006640942,0.0007903217,0.0001462951],"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.00003461644,0.00004201371,0.00005014347,0.0002399182,0.000003899169,0.000038846,0.0001186482,0.0003064946,0.0002754829,0.4236198,0.5463254,0.02894475],"study_design_scores_gemma":[0.00000819961,0.00001467754,0.00004415041,0.00008940258,0.000005932795,0.0000606279,0.00006398723,0.0002947646,0.0002261285,0.07853653,0.9206442,0.00001139948],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0009454263,0.001191374,0.06205253,0.003050183,0.007541724,0.0004553067,0.02175565,0.00159315,0.9014146],"genre_scores_gemma":[0.01833547,0.003237055,0.04362237,0.002789226,0.002977792,0.00157726,0.03534191,0.003366755,0.8887522],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.5722665,"threshold_uncertainty_score":0.8162686,"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."}}