{"id":"W6968884023","doi":"10.5281/zenodo.8099770","title":"Proof of a Conjecture of Krawchuk and Rampersad on the Cyclic Complexity of the Thue-Morse Sequence","year":2023,"lang":"en","type":"article","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Conjecture; Sequence (biology); Class (philosophy); Counterexample; Constant (computer programming)","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.001942637,0.00102934,0.001354841,0.001902312,0.001818511,0.002378608,0.001760823,0.001689502,0.0156474],"category_scores_gemma":[0.01680672,0.0007420109,0.001645912,0.001705196,0.005484143,0.005749743,0.005923098,0.006427624,0.001341899],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001570453,"about_ca_system_score_gemma":0.00110035,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001714496,"about_ca_topic_score_gemma":0.0008487024,"domain_scores_codex":[0.9984719,0.0002922757,0.00006680715,0.0004200601,0.0004591441,0.0002898852],"domain_scores_gemma":[0.9876274,0.008065401,0.0008036829,0.001721816,0.0009030669,0.0008786815],"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.0002329666,0.0000735233,0.001377671,0.0002382746,0.00004823896,0.0002623454,0.0008444128,0.00521037,0.00287224,0.9631646,0.01220224,0.01347321],"study_design_scores_gemma":[0.00007587169,0.00006932237,0.001116522,0.00005641957,0.00002731336,0.0002782967,0.0001307742,0.01414962,0.001646261,0.9728276,0.009571237,0.00005065213],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.4962794,0.005607076,0.2854683,0.03784467,0.002989227,0.0002145854,0.001978748,0.001697755,0.1679202],"genre_scores_gemma":[0.9565136,0.001278221,0.02585127,0.00240708,0.001482484,0.0001797797,0.0006464762,0.0002351907,0.0114059],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.0156474,"threshold_uncertainty_score":0.05234581,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07561945392711303,"score_gpt":0.2598799954518017,"score_spread":0.1842605415246887,"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."}}