{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001610245,0.001374397,0.001798804,0.003825588,0.001986549,0.006126656,0.001799946,0.001317435,0.006976853],"category_scores_gemma":[0.003441083,0.0007632563,0.001746663,0.003294598,0.006682737,0.01169524,0.003713482,0.004906516,0.001412619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002564547,"about_ca_system_score_gemma":0.001008681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001096406,"about_ca_topic_score_gemma":0.000846671,"domain_scores_codex":[0.997907,0.0006842556,0.0001292325,0.0004263867,0.0006845392,0.0001686263],"domain_scores_gemma":[0.9976315,0.0015151,0.0001038491,0.0002565605,0.0003470777,0.0001459268],"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.000004081063,0.00000453216,0.00002226612,0.00002294919,0.000003768364,0.000009140254,0.00005883654,0.0003409097,0.00008829816,0.9969035,0.0003689014,0.002172802],"study_design_scores_gemma":[0.000004127255,0.000004444173,0.00002619846,0.000007758747,0.000005567956,0.00001564737,0.0000122387,0.001439651,0.00008879035,0.9955341,0.002856494,0.000005116426],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02620545,0.01055405,0.8280747,0.004803271,0.001375322,0.00006933333,0.0003403609,0.0005072518,0.1280701],"genre_scores_gemma":[0.7346615,0.008468191,0.2078349,0.001896644,0.003665359,0.0004025548,0.0005148136,0.0003211446,0.0422349],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006976853,"threshold_uncertainty_score":0.02333987,"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."}}