{"id":"W2963216346","doi":"10.1007/978-3-319-98654-8_10","title":"Additive Number Theory via Approximation by Regular Languages","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Theoretical computer science; Programming language; Algebra over a field; Mathematics; Pure mathematics","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.0009548167,0.00106701,0.001348109,0.00182882,0.001069793,0.004165316,0.001677885,0.0008896844,0.006462007],"category_scores_gemma":[0.003520288,0.0007930087,0.001596882,0.002010245,0.00350942,0.008936291,0.003123048,0.004838282,0.0021192],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00172814,"about_ca_system_score_gemma":0.0005410309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004370898,"about_ca_topic_score_gemma":0.0003772243,"domain_scores_codex":[0.9983464,0.0004498442,0.0001011943,0.0003493796,0.0006088625,0.0001442483],"domain_scores_gemma":[0.9982923,0.001072876,0.00007484167,0.0003228183,0.0001567009,0.00008050271],"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.00001551329,0.000008712683,0.00003093454,0.00003862277,0.000005570605,0.00001248372,0.00006986369,0.001215839,0.0002833527,0.9898791,0.0006921064,0.007747844],"study_design_scores_gemma":[0.000005412112,0.000008333678,0.00003280933,0.00000990902,0.000008893593,0.00003654133,0.00001621839,0.004819889,0.0003320756,0.990932,0.003790634,0.000007262139],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04882206,0.004066335,0.7878825,0.002405876,0.0008605599,0.00006658697,0.0002564375,0.000968352,0.1546713],"genre_scores_gemma":[0.7544523,0.004143157,0.1763367,0.0009316033,0.001581336,0.000236649,0.0005529582,0.0005037765,0.06126148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006462007,"threshold_uncertainty_score":0.02161759,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005978647879563974,"score_gpt":0.2282950587139459,"score_spread":0.2223164108343819,"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."}}