{"id":"W2765317479","doi":"10.1090/bproc/37","title":"When is an automatic set an additive basis?","year":2018,"lang":"en","type":"preprint","venue":"Proceedings of the American Mathematical Society Series B","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Basis (linear algebra); Natural number; Characterization (materials science); Set (abstract data type); Mathematics; Natural (archaeology); Algorithm; Order (exchange); Computer science; Combinatorics; Geometry; Geography; Physics","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.002059028,0.0007518621,0.000852836,0.002164391,0.00231877,0.004317764,0.001459367,0.001270821,0.01086788],"category_scores_gemma":[0.007673612,0.0007029738,0.001731169,0.001506429,0.003080155,0.008655492,0.003303897,0.00240818,0.003232402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001292439,"about_ca_system_score_gemma":0.001127758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0017362,"about_ca_topic_score_gemma":0.002364815,"domain_scores_codex":[0.996923,0.000539418,0.0002334188,0.0007869364,0.001045207,0.0004719113],"domain_scores_gemma":[0.9963617,0.001689194,0.0001897858,0.0007488231,0.0007859576,0.0002246081],"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.0001166118,0.00007626526,0.001004989,0.0001245983,0.00002772331,0.00013455,0.0004149928,0.001955793,0.003339734,0.9312528,0.004573549,0.05697841],"study_design_scores_gemma":[0.00001962423,0.00006907676,0.0006611124,0.0000615822,0.0000438555,0.0002960093,0.0005457721,0.01625263,0.0101616,0.9514329,0.02039931,0.00005660978],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2239574,0.0006574816,0.6706173,0.00238568,0.0005048327,0.0001653012,0.001100952,0.00388969,0.09672141],"genre_scores_gemma":[0.7226933,0.0003362966,0.2472425,0.0006540699,0.0002740031,0.0002166435,0.00169643,0.0007822023,0.02610452],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01086788,"threshold_uncertainty_score":0.03635675,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01957769507333856,"score_gpt":0.2632862714098411,"score_spread":0.2437085763365026,"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."}}