{"id":"W1504896064","doi":"10.3233/fi-2013-804","title":"Filtrations of Formal Languages by Arithmetic Progressions","year":2013,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Arithmetic; Computer science; Mathematics; Programming language; Algebra over a field; 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":[],"consensus_categories":[],"category_scores_codex":[0.0001421372,0.00009938115,0.0001280325,0.00007504885,0.000113634,0.0001847795,0.0005709017,0.00003697592,0.0005960756],"category_scores_gemma":[0.0000284002,0.00007623602,0.00004865432,0.0002025969,0.00006979972,0.002301773,0.0002118874,0.00007804128,0.0003362512],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001582405,"about_ca_system_score_gemma":0.00002912974,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002659989,"about_ca_topic_score_gemma":7.830635e-7,"domain_scores_codex":[0.9990625,0.0000190571,0.0003547233,0.00008523229,0.0002208724,0.0002576642],"domain_scores_gemma":[0.9992477,0.0000843171,0.0001375358,0.0003984278,0.00004455408,0.00008742556],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004405282,0.0005771345,0.001899542,0.0002858551,0.0001170145,0.000002514266,0.01248416,0.00002869131,0.01659741,0.3817879,0.1945206,0.3916948],"study_design_scores_gemma":[0.004392972,0.00181541,0.02688348,0.0008292351,0.00009580071,0.0002181161,0.02194282,0.6625804,0.1327509,0.04376441,0.1022581,0.002468354],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.47882,0.0003470849,0.450066,0.002882289,0.0003474333,0.001376362,0.00008982829,0.0006161719,0.06545486],"genre_scores_gemma":[0.9561318,0.000007351132,0.04256385,0.0006213179,0.00001423311,0.0001014504,0.000031837,0.000005068527,0.0005230776],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6625517,"threshold_uncertainty_score":0.652661,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004885578396302735,"score_gpt":0.229767762818029,"score_spread":0.2248821844217263,"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."}}