{"id":"W2964048382","doi":"10.1142/s0129054112400655","title":"THE CRITICAL EXPONENT IS COMPUTABLE FOR AUTOMATIC SEQUENCES","year":2012,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Tulane University","keywords":"Exponent; Infimum and supremum; Mathematics; Critical exponent; Rational number; Computation; Constant (computer programming); Discrete mathematics; Sequence (biology); Diophantine equation; Diophantine approximation; Combinatorics; Computer science; 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":[],"consensus_categories":[],"category_scores_codex":[0.00229779,0.00009283841,0.0001465777,0.0002547046,0.0003568867,0.0006260264,0.003434743,0.00002064218,0.00001177233],"category_scores_gemma":[0.0003276847,0.00006344116,0.0001277312,0.0003555957,0.0006010358,0.002767097,0.0003471433,0.00008682131,0.000007731157],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009478074,"about_ca_system_score_gemma":0.000352101,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004468085,"about_ca_topic_score_gemma":2.988755e-7,"domain_scores_codex":[0.9979418,0.00004664158,0.0005852923,0.0001399128,0.001000295,0.0002860917],"domain_scores_gemma":[0.9963591,0.001224773,0.00042473,0.0002913616,0.001573528,0.0001265741],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009631956,0.0002466688,0.0008315755,0.00001139128,0.00007482772,0.000002403111,0.001828059,0.0007859052,0.001563082,0.7500067,0.001921107,0.2427187],"study_design_scores_gemma":[0.0005238627,0.0002849025,0.00773775,0.0001621234,0.00001713621,0.0004763475,0.0001054657,0.8639601,0.01085565,0.1002325,0.01542639,0.0002177648],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04117853,0.0002178154,0.9457983,0.007512244,0.005101101,0.00007802085,0.000003427902,0.00001963183,0.00009087301],"genre_scores_gemma":[0.7164978,0.00001410967,0.2828409,0.0003042147,0.0003275177,0.000003179746,3.00161e-7,0.000002662766,0.000009334422],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8631742,"threshold_uncertainty_score":0.6382664,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02862647734812847,"score_gpt":0.3462912195548554,"score_spread":0.317664742206727,"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."}}