{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00162486,0.0003514585,0.0004506035,0.001308617,0.001644684,0.003492665,0.0009795532,0.0009570591,0.003417476],"category_scores_gemma":[0.005222553,0.0004494557,0.0009776345,0.0006102537,0.005316457,0.007902468,0.002383079,0.002119585,0.0003931876],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001810402,"about_ca_system_score_gemma":0.0007040016,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001253841,"about_ca_topic_score_gemma":0.0008451637,"domain_scores_codex":[0.9983707,0.0003305151,0.0001289648,0.0005700641,0.0003661017,0.0002335777],"domain_scores_gemma":[0.9940972,0.003420881,0.0004464003,0.0009808878,0.0006572859,0.0003973189],"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.00005639547,0.00001673042,0.0009687502,0.00005356446,0.000008873958,0.0001102002,0.001027563,0.001096763,0.002788327,0.9891781,0.0001832817,0.004511475],"study_design_scores_gemma":[0.00002735788,0.00008587977,0.0009921105,0.00003224044,0.00004064841,0.0003905413,0.0003589786,0.01954198,0.009055967,0.9597428,0.009693759,0.00003764968],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"methods","genre_scores_codex":[0.5481691,0.001075204,0.3998949,0.002376275,0.0001141293,0.00007217754,0.0003346,0.0007949321,0.04716857],"genre_scores_gemma":[0.9693179,0.000189496,0.02429694,0.0002110685,0.00007023761,0.00006328124,0.00009418866,0.00006426013,0.005692616],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.003492665,"threshold_uncertainty_score":0.01313543,"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."}}