{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004605444,0.0003282021,0.0003396671,0.0001309595,0.000951907,0.0003118216,0.004667682,0.0001644295,0.000003234766],"category_scores_gemma":[0.00002208881,0.0002686611,0.0002099769,0.00005683897,0.000239378,0.0001407169,0.002861478,0.0005690673,0.00002264424],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004369183,"about_ca_system_score_gemma":0.0003808027,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003569581,"about_ca_topic_score_gemma":3.114794e-7,"domain_scores_codex":[0.9977838,0.0002696124,0.0002016062,0.0007365918,0.0005622757,0.0004460645],"domain_scores_gemma":[0.9979201,0.0003487949,0.0001861533,0.001276222,0.00006035976,0.0002083839],"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.000005457678,0.00001301425,1.768523e-7,0.00002727387,0.00004429118,0.00009899827,0.0001211968,0.00003597984,0.000004038413,0.8260476,0.1688045,0.004797446],"study_design_scores_gemma":[0.0001418234,0.00006459589,0.00001175351,0.00003053561,0.00003174213,0.00004808852,0.00009737071,0.009700909,0.00001746836,0.0001917244,0.989282,0.0003819584],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00004008691,0.0001709171,0.04717406,0.00007526109,0.0004205171,0.0005076008,0.00005116941,0.000518935,0.9510415],"genre_scores_gemma":[0.0002699952,0.00002243659,0.00297772,0.0003255854,0.00009130086,0.000008151144,0.00002060598,0.00002007762,0.9962641],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.8258559,"threshold_uncertainty_score":0.9999766,"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."}}