{"id":"W2947749495","doi":"10.1007/s00224-019-09929-9","title":"Additive Number Theory via Automata Theory","year":2019,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"semigroups and automata theory","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Fibonacci number; Natural number; Palindrome; Mathematics; Base (topology); Basis (linear algebra); Automaton; Mathematical proof; Discrete mathematics; Representation (politics); Combinatorics; Computer science; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.007447166,0.0004318275,0.0007900985,0.0001861067,0.0001883729,0.0001782711,0.002411129,0.0001824479,0.0008818951],"category_scores_gemma":[0.0001880839,0.0003720616,0.0002573611,0.0005078756,0.0002586234,0.0005042459,0.0007924289,0.0003181441,0.001858671],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000782291,"about_ca_system_score_gemma":0.0001040507,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001279268,"about_ca_topic_score_gemma":1.682698e-7,"domain_scores_codex":[0.9944898,0.002596577,0.0008402423,0.000777803,0.0006203129,0.0006752809],"domain_scores_gemma":[0.9917372,0.005335016,0.0007082648,0.001872711,0.0001962904,0.0001504983],"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.00005864594,0.00009471041,0.0001332332,0.0001333383,0.0001416168,0.00001250202,0.002600636,0.000302793,0.000700853,0.9535539,0.001013097,0.0412547],"study_design_scores_gemma":[0.001550229,0.0002811722,0.002567322,0.001463791,0.00005948263,0.000457982,0.002416925,0.1599273,0.002810826,0.8218666,0.005356016,0.001242381],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1540079,0.0004045036,0.7772339,0.00003384387,0.002878,0.0006907576,0.00007970058,0.001175897,0.06349546],"genre_scores_gemma":[0.9934325,0.000004310664,0.002929291,0.00022349,0.000266043,0.00001283091,0.00002502324,0.00005517356,0.003051367],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8394246,"threshold_uncertainty_score":0.9998732,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007762103394063058,"score_gpt":0.2280083916079614,"score_spread":0.2202462882138984,"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."}}