{"id":"W2951682701","doi":"10.48550/arxiv.1112.3758","title":"Filtrations of Formal Languages by Arithmetic Progressions","year":2011,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","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; Diagonal; Square (algebra); Context (archaeology); Mathematics; Sequence (biology); Formal language; Set (abstract data type); Filtration (mathematics); Computer science; Linguistics; Algorithm; Pure mathematics; Programming language; Philosophy; History","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.002484124,0.0007402982,0.0007401148,0.002575642,0.00236856,0.003822925,0.0006226031,0.0009058573,0.004137051],"category_scores_gemma":[0.004746682,0.0007445744,0.002317448,0.0009360973,0.004168847,0.004774479,0.002737292,0.001720401,0.0008950265],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001383509,"about_ca_system_score_gemma":0.0007798724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009630003,"about_ca_topic_score_gemma":0.000723568,"domain_scores_codex":[0.9978016,0.0005136533,0.0002386387,0.0005819947,0.0004417112,0.0004223747],"domain_scores_gemma":[0.9960623,0.001949711,0.0003985905,0.000579775,0.0004811378,0.0005284434],"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.0001032633,0.00004004966,0.0007353654,0.00006914174,0.00001834067,0.0004134517,0.001769127,0.002020662,0.009342388,0.971,0.0008874924,0.01360062],"study_design_scores_gemma":[0.00004538757,0.00009586655,0.0007117345,0.00004257811,0.00002758451,0.0004937557,0.0002878536,0.00850244,0.00694024,0.9719533,0.01084799,0.00005140506],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.4787014,0.001103802,0.4710732,0.0008922267,0.0002780679,0.0001688984,0.0005615428,0.001939368,0.04528153],"genre_scores_gemma":[0.8969096,0.0004441,0.0878929,0.0002591089,0.0003247376,0.0002710305,0.0005767368,0.0002587923,0.01306307],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.004137051,"threshold_uncertainty_score":0.01383978,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04921501896387369,"score_gpt":0.1898563793594186,"score_spread":0.1406413603955449,"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."}}