{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001235292,0.0005297166,0.000453174,0.0003323394,0.000254794,0.0004913138,0.003112038,0.0003571749,0.001172623],"category_scores_gemma":[0.0001163078,0.0004618144,0.0001301396,0.0004480423,0.001076603,0.000814033,0.001125438,0.0005394091,0.0004701082],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000208123,"about_ca_system_score_gemma":0.0001913612,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008286836,"about_ca_topic_score_gemma":0.0000070662,"domain_scores_codex":[0.9965063,0.00009421453,0.0004152878,0.001483254,0.0008873433,0.0006135603],"domain_scores_gemma":[0.9970165,0.000791547,0.0003326332,0.001495082,0.0002169767,0.000147193],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007124304,0.00003358576,0.000003025663,0.00002498413,0.000020526,0.00005170275,0.00151166,0.0001164944,0.0003414666,0.07432103,0.003616916,0.9199515],"study_design_scores_gemma":[0.000206447,0.0001100924,0.00001571525,0.0003678421,0.00001010572,0.0001227055,0.00000132116,0.1405115,0.007471907,0.839691,0.01066783,0.0008235101],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005908143,0.0003285072,0.986688,0.0002226751,0.0007876085,0.0003066681,0.00007849797,0.0003071161,0.0112218],"genre_scores_gemma":[0.0629592,0.00008147117,0.9186538,0.006889672,0.002428165,0.00007039223,0.0003519618,0.0001670197,0.008398329],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9191279,"threshold_uncertainty_score":0.9997833,"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."}}