{"id":"W3121836531","doi":"10.46298/lmcs-18(3:14)2022","title":"Tameness and the power of programs over monoids in DA","year":2022,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal; Computer Research Institute of Montréal","funders":"","keywords":"Morphism; Monoid; Class (philosophy); Regular language; Mathematics; Characterization (materials science); Hierarchy; Expressive power; Complexity class; Pure mathematics; Discrete mathematics; Algebra over a field; Computer science; Time complexity; Automaton; Programming language; Physics; Artificial intelligence","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.009294976,0.0001158778,0.0002734944,0.0001844997,0.0001673684,0.0001763831,0.002388194,0.00002762264,0.0000138813],"category_scores_gemma":[0.0001023215,0.00007287782,0.00004369805,0.002208283,0.001091959,0.0003247404,0.003424456,0.0002875101,3.600538e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004999264,"about_ca_system_score_gemma":0.00005833371,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004439917,"about_ca_topic_score_gemma":0.000001132528,"domain_scores_codex":[0.9971713,0.00110208,0.00033737,0.0005824114,0.000460764,0.0003460215],"domain_scores_gemma":[0.9983,0.0009172079,0.0001046409,0.0005942145,0.0000261926,0.00005770696],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001917066,0.000154167,0.003064547,0.000005325603,0.000001632179,0.00001828748,0.002211715,0.001389387,0.0007172478,0.3536723,0.000003695612,0.6387426],"study_design_scores_gemma":[0.0008090852,0.0002084758,0.03536131,0.00001534421,9.515712e-7,0.00003048699,0.00006783372,0.7540573,0.0004299418,0.2086766,0.0001890571,0.0001536275],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2535905,0.0001588283,0.7451154,0.0003668969,0.0003872266,0.0001957751,3.134377e-7,0.00003102304,0.0001540922],"genre_scores_gemma":[0.5287877,0.000003036214,0.4707348,0.00042925,0.000007430709,0.00003315474,6.1813e-8,0.000001793387,0.000002703927],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7526679,"threshold_uncertainty_score":0.4437899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04480822537424823,"score_gpt":0.3572987186146682,"score_spread":0.31249049324042,"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."}}