{"id":"W2798699651","doi":"10.1142/s0129054120410014","title":"Additive Number Theory via Approximation by Regular Languages","year":2020,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Natural number; Mathematics; Base (topology); Formal language; Regular language; Number theory; Discrete mathematics; Automaton; Representation (politics); Combinatorics; Computer science; Theoretical computer science; Algorithm","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":[],"consensus_categories":[],"category_scores_codex":[0.002870644,0.001049586,0.001350903,0.002418766,0.001410964,0.00384048,0.002137121,0.0009275454,0.005503326],"category_scores_gemma":[0.01191876,0.000650747,0.002756912,0.00190348,0.004636845,0.01013612,0.004017035,0.0041745,0.001309989],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00175707,"about_ca_system_score_gemma":0.0007099654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007250845,"about_ca_topic_score_gemma":0.0006043282,"domain_scores_codex":[0.9962525,0.000974749,0.0002666842,0.000928832,0.001205151,0.0003720739],"domain_scores_gemma":[0.9919842,0.005284648,0.0005321694,0.001278421,0.0006276136,0.0002930039],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005186916,0.00002892879,0.0002874167,0.00006617801,0.00001978264,0.00009907378,0.0002776458,0.004908251,0.001158542,0.9811755,0.0007203061,0.01120653],"study_design_scores_gemma":[0.00001692067,0.00003477941,0.0001102821,0.00001998588,0.00003468613,0.0001362515,0.00004790468,0.03265397,0.001916396,0.9607174,0.004292764,0.00001859186],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07445984,0.0008777761,0.8941443,0.001357182,0.0003405001,0.00006148241,0.0001464864,0.0008560889,0.0277564],"genre_scores_gemma":[0.7603132,0.001047558,0.2209074,0.0008567581,0.0006989859,0.0002092751,0.0003104422,0.0002960298,0.01536029],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005503326,"threshold_uncertainty_score":0.01841044,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008711594732859467,"score_gpt":0.2756361087037388,"score_spread":0.2669245139708794,"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."}}