{"id":"W4287553630","doi":"10.4230/lipics.cpm.2022.2","title":"String Attractors for Automatic Sequences","year":2020,"lang":"en","type":"preprint","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Attractor; String (physics); Combinatorics; Decidability; Sequence (biology); Mathematics; Prefix; Constant (computer programming); Upper and lower bounds; Discrete mathematics; Mathematical analysis; Mathematical physics; Computer science","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.001050593,0.0005560335,0.0006078071,0.003160256,0.001049981,0.002893007,0.0005959015,0.0009426321,0.00746985],"category_scores_gemma":[0.006241812,0.0002932031,0.0008519852,0.001550314,0.002796803,0.004255654,0.00186105,0.001814384,0.0006630079],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001433655,"about_ca_system_score_gemma":0.0004453362,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005159621,"about_ca_topic_score_gemma":0.0003720784,"domain_scores_codex":[0.9988019,0.0002673661,0.0001000399,0.0003621386,0.000374429,0.00009406212],"domain_scores_gemma":[0.9951563,0.003123617,0.0005952732,0.0002983338,0.0005194932,0.0003070036],"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.00001523613,0.000007832481,0.0003416238,0.000043718,0.000009077947,0.00003398279,0.0001423703,0.002031487,0.001402122,0.9906574,0.000409686,0.004905405],"study_design_scores_gemma":[0.000006262518,0.00001986186,0.0003303511,0.00001658036,0.000006762214,0.00006324436,0.00005483265,0.01881181,0.0009337771,0.9777711,0.001973049,0.00001236995],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4059612,0.002132795,0.5263838,0.001526157,0.0002153927,0.00007654259,0.0006846906,0.0009551725,0.06206415],"genre_scores_gemma":[0.9536395,0.0007402488,0.03690501,0.0002324071,0.0002535857,0.0001567645,0.0006216487,0.0001722872,0.007278544],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00746985,"threshold_uncertainty_score":0.02498919,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0406756292479632,"score_gpt":0.2859779256563367,"score_spread":0.2453022964083735,"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."}}