{"id":"W4406779735","doi":"10.1007/s00224-025-10214-1","title":"Rudin-Shapiro Sums Via Automata Theory and Logic","year":2025,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; University of Winnipeg","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Automaton; Computer science; Discrete mathematics; Algebra over a field; Calculus (dental); Pure mathematics; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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.00593823,0.0002661282,0.0005377618,0.0002611871,0.0002303097,0.0001749099,0.001322357,0.0001170953,0.000006445773],"category_scores_gemma":[0.0001534066,0.000225599,0.00009864161,0.0004562174,0.0002671062,0.0002099231,0.0007820731,0.000172222,0.00002140224],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003883042,"about_ca_system_score_gemma":0.00005752801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001976212,"about_ca_topic_score_gemma":3.620263e-7,"domain_scores_codex":[0.9970101,0.001192477,0.0006121821,0.000527775,0.0002604852,0.00039699],"domain_scores_gemma":[0.9962796,0.002230216,0.0003156479,0.001002683,0.00009193415,0.00007994681],"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.0000229693,0.00004766928,0.0001800106,0.0002253931,0.00006736364,0.000007846556,0.0008030338,0.0001944077,0.001588908,0.9606479,0.0002027924,0.03601164],"study_design_scores_gemma":[0.0007351988,0.0001110927,0.00340031,0.0008269621,0.00003584807,0.0001004099,0.0005050736,0.200796,0.001458479,0.7909569,0.0006759106,0.0003977648],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1415715,0.002958474,0.8444113,0.0001345629,0.001253077,0.0002769968,0.000003002727,0.0005991852,0.008791973],"genre_scores_gemma":[0.9961701,0.00001380747,0.002701937,0.0003237856,0.00008263477,0.000004997168,0.000001884073,0.00001480116,0.0006860545],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8545986,"threshold_uncertainty_score":0.9199659,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01222227649798279,"score_gpt":0.2517760887789627,"score_spread":0.2395538122809799,"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."}}