{"id":"W4389951301","doi":"10.1353/rss.2023.a914939","title":"On The Use of Dots in Principia Mathematica","year":2023,"lang":"en","type":"article","venue":"Russell the Journal of Bertrand Russell Studies","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Conjunction (astronomy); Assertion; Notation; Computer science; Punctuation; Scope (computer science); Programming language; Calculus (dental); Algebra over a field; Mathematics; Artificial intelligence; Pure mathematics; Arithmetic; Physics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002542041,0.0001726289,0.0004537966,0.0001661088,0.0001919535,0.00006927059,0.0008888707,0.00004862349,0.000006602112],"category_scores_gemma":[0.0002858232,0.00007116019,0.000163282,0.0007352189,0.0001562804,0.0001970115,0.000157296,0.0002718095,0.00005224029],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000277724,"about_ca_system_score_gemma":0.00004145098,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002271843,"about_ca_topic_score_gemma":0.00002995978,"domain_scores_codex":[0.998048,0.0003176845,0.0007046231,0.0001304944,0.0005082772,0.0002909371],"domain_scores_gemma":[0.9963059,0.002564077,0.0004984962,0.000434628,0.0001523134,0.00004455981],"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.0003255543,0.0007743497,0.001929208,0.0006144629,0.001534872,0.0002409711,0.1030648,0.004750975,0.001849565,0.8388192,0.03680064,0.009295369],"study_design_scores_gemma":[0.006800918,0.004132458,0.02571742,0.001659611,0.0007142319,0.0009769566,0.01454644,0.01851356,0.02317888,0.7724673,0.1295164,0.001775807],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9631054,0.004941083,0.01726848,0.009648533,0.00164974,0.0009486632,0.000001593768,0.00009651179,0.002339931],"genre_scores_gemma":[0.9958512,0.002922982,0.0003591723,0.0001202964,0.0000728652,0.000005040059,9.225984e-8,0.00001038613,0.0006579321],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.09271578,"threshold_uncertainty_score":0.2901828,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09677665932519103,"score_gpt":0.2925593691128885,"score_spread":0.1957827097876975,"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."}}