{"id":"W4297662269","doi":"10.1017/9781108775267","title":"The Logical Approach to Automatic Sequences","year":2022,"lang":"en","type":"book","venue":"Cambridge University Press eBooks","topic":"semigroups and automata theory","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Mathematical proof; Computation; Theoretical computer science; Phrase; Alphabet; Simple (philosophy); Finite-state machine; Algorithm; Artificial intelligence; 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.0007361401,0.000724066,0.0003982178,0.001332132,0.002033663,0.004652462,0.001039029,0.000973272,0.02468935],"category_scores_gemma":[0.001995474,0.0004977455,0.0007508583,0.001296964,0.00563151,0.007488873,0.001568598,0.003605225,0.01009864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001770481,"about_ca_system_score_gemma":0.001625879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009329399,"about_ca_topic_score_gemma":0.001058019,"domain_scores_codex":[0.9992216,0.0002145181,0.00004290067,0.0001571988,0.000300204,0.00006360808],"domain_scores_gemma":[0.9989843,0.0006588562,0.00004541904,0.0001179535,0.000144717,0.00004882427],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000004840469,0.000004473227,0.00001887258,0.00005465996,0.000001540993,0.0000283491,0.0001990746,0.0002657805,0.0002956299,0.9717615,0.01317886,0.01418629],"study_design_scores_gemma":[0.000004748465,0.00001575285,0.00005016252,0.00007446347,0.000002964205,0.0001581798,0.0000978997,0.001361071,0.0004200669,0.5677842,0.4300213,0.000009093794],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.002414834,0.01066274,0.24792,0.006794616,0.002977497,0.0001161829,0.0003639033,0.001125348,0.7276248],"genre_scores_gemma":[0.1181892,0.01965596,0.1623251,0.006821915,0.003762574,0.0006582478,0.0009259947,0.001069423,0.6865917],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02468935,"threshold_uncertainty_score":0.0825941,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02386839279748088,"score_gpt":0.1997967552747496,"score_spread":0.1759283624772688,"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."}}