{"id":"W2083770519","doi":"10.1016/s0304-3975(03)00090-2","title":"The ring of k-regular sequences, II","year":2003,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":227,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Ring (chemistry); Mathematics; State (computer science); Combinatorics; Discrete mathematics; Algebra over a field; Pure mathematics; 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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.003444177,0.0001425567,0.0001651167,0.00008337495,0.001074432,0.0002811292,0.003373552,0.00003457067,0.00001757615],"category_scores_gemma":[0.0001845667,0.00008803337,0.00007025162,0.001101017,0.004385062,0.0004818471,0.0009340388,0.0001412458,0.00001767535],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003224643,"about_ca_system_score_gemma":0.0001326174,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002071462,"about_ca_topic_score_gemma":2.592753e-7,"domain_scores_codex":[0.9978111,0.0001734737,0.0002965047,0.0004808563,0.0006891305,0.0005488676],"domain_scores_gemma":[0.9980484,0.0004313071,0.00009462692,0.0011208,0.000144865,0.0001599877],"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.000001228867,0.00002125532,0.00001565225,0.000002514642,0.000002636933,0.000003173074,0.0002313445,0.00006797411,0.001797286,0.9692131,0.00001922225,0.0286246],"study_design_scores_gemma":[0.0001261935,0.0001453928,0.0001974533,0.00002621384,0.000002594456,0.00005489817,0.00001562626,0.2003952,0.05067858,0.7471231,0.001073825,0.0001610135],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06710277,0.0001709264,0.9233615,0.0005763442,0.0006494941,0.0001010314,4.288276e-7,0.000122133,0.00791537],"genre_scores_gemma":[0.9023858,0.000009474594,0.09736092,0.0001847061,0.00003261021,0.00000335261,6.353857e-8,0.000004479934,0.00001859055],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.835283,"threshold_uncertainty_score":0.9983245,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007250582662101844,"score_gpt":0.2241170024500957,"score_spread":0.2168664197879939,"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."}}