{"id":"W3169538887","doi":"10.1017/jsl.2021.38","title":"CONTRIBUTIONS TO THE THEORY OF <i>F</i>-AUTOMATIC SETS","year":2021,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Endomorphism; Injective function; NIP; Abelian group; Mathematics; Automaticity; Prime (order theory); Combinatorics; Set (abstract data type); Multiplication (music); Discrete mathematics; Pure mathematics; Computer science","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":[],"consensus_categories":[],"category_scores_codex":[0.001463904,0.00009106703,0.0002798527,0.000084277,0.00008982722,0.00007049627,0.0009339929,0.00004024346,0.00006429086],"category_scores_gemma":[0.0005711777,0.00005246558,0.0001681736,0.0005065054,0.0000482373,0.00019027,0.0002061684,0.0001712818,0.00003421108],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003537171,"about_ca_system_score_gemma":0.0002138264,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001284182,"about_ca_topic_score_gemma":8.149939e-7,"domain_scores_codex":[0.9986215,0.0003031064,0.0004639445,0.0001078354,0.0003117381,0.0001919142],"domain_scores_gemma":[0.9982194,0.0004802144,0.0003205134,0.0004446852,0.0004346042,0.0001005745],"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.000007200791,0.0001781698,0.0001144239,0.000022534,0.0001035167,0.0001500264,0.001769743,0.0002565772,0.008970958,0.9391087,0.005691734,0.04362644],"study_design_scores_gemma":[0.0009937984,0.0003847978,0.01628477,0.0003174003,0.00009593977,0.002993839,0.00120922,0.00501613,0.02965206,0.9326273,0.01013806,0.0002867025],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3611269,0.004611237,0.6009791,0.02841881,0.001474559,0.0001996949,0.00002638409,0.0000714025,0.003091881],"genre_scores_gemma":[0.9912088,0.00005669354,0.005867456,0.002651296,0.0001225846,0.000002027108,4.378695e-7,0.000004427598,0.00008630176],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6300819,"threshold_uncertainty_score":0.2139484,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01510656795382097,"score_gpt":0.2741138994858746,"score_spread":0.2590073315320536,"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."}}