{"id":"W4381304603","doi":"10.1007/978-3-031-33180-0_18","title":"Rudin-Shapiro Sums via Automata Theory and Logic","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo; University of Winnipeg","funders":"","keywords":"Computer science; Mathematical proof; Automaton; Automata theory; Proof theory; Theoretical computer science; Algorithm; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006954561,0.0008042334,0.001255838,0.001777912,0.001832611,0.003435429,0.001037894,0.001029205,0.007758758],"category_scores_gemma":[0.001537055,0.0006526542,0.00103385,0.001908611,0.003633932,0.008131279,0.00195443,0.003575546,0.002058411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001643326,"about_ca_system_score_gemma":0.0006284464,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004983995,"about_ca_topic_score_gemma":0.0005993147,"domain_scores_codex":[0.9993953,0.0001822251,0.00004348104,0.00012089,0.0002086367,0.00004956852],"domain_scores_gemma":[0.9994435,0.0003640498,0.00002829129,0.00006641468,0.00006891731,0.00002898832],"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.000009095431,0.000007342294,0.00002198058,0.00002938753,0.000005375693,0.00001228081,0.00006448061,0.0004499713,0.0001898628,0.9911675,0.001333433,0.006709372],"study_design_scores_gemma":[0.000002543263,0.000002806799,0.00001894979,0.000004558205,0.00000452131,0.00001785437,0.0000113011,0.0007207312,0.0001492711,0.9936123,0.005451362,0.000003634752],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.042864,0.0152379,0.477137,0.00474083,0.001378908,0.00008595363,0.0004053939,0.0007705991,0.4573795],"genre_scores_gemma":[0.7064213,0.009956166,0.1333361,0.001475445,0.003166881,0.0003507822,0.0005044062,0.0004590162,0.14433],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007758758,"threshold_uncertainty_score":0.02595568,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01967069156844636,"score_gpt":0.2456665960515294,"score_spread":0.2259959044830831,"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."}}