{"id":"W4389314516","doi":"10.1145/3636362.3636364","title":"Complexity Column","year":2023,"lang":"en","type":"article","venue":"ACM SIGLOG News","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Undecidable problem; Word problem (mathematics education); Decidability; Semigroup; Intersection (aeronautics); Mathematics; Group (periodic table); Column (typography); Decision problem; Computational complexity theory; Word (group theory); Discrete mathematics; Computer science; Theoretical computer science; Algebra over a field; Algorithm; Arithmetic; Pure 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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002568048,0.00009593167,0.0001320493,0.00007281663,0.0001285412,0.0001215682,0.001760988,0.00004503014,0.00008316051],"category_scores_gemma":[0.0001654372,0.00008939292,0.00005823435,0.0006704933,0.00006451898,0.0002449986,0.0009538431,0.00008630574,0.002448155],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001773659,"about_ca_system_score_gemma":0.00002903081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001262995,"about_ca_topic_score_gemma":0.00004541925,"domain_scores_codex":[0.9990063,0.00005827544,0.000144343,0.000303457,0.0001782784,0.0003092907],"domain_scores_gemma":[0.9984373,0.0002350968,0.00004409602,0.001178842,0.00002264303,0.00008196068],"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.00000438235,0.00005801524,0.004130158,0.00001602235,0.00002231085,0.0001146605,0.0008383735,0.00002998453,0.003836101,0.4665851,0.3721539,0.152211],"study_design_scores_gemma":[0.0005588122,0.0001054646,0.06249384,0.00001992879,0.000005653206,0.00003103154,0.0001586144,0.03549786,0.001809833,0.7153205,0.1835415,0.0004569524],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8008912,0.0002837387,0.1141872,0.03114329,0.00365285,0.0006419007,0.00002873499,0.007697579,0.04147351],"genre_scores_gemma":[0.9651784,0.00003800965,0.02780444,0.003915319,0.000224952,0.00002656465,0.00001888667,0.00001815847,0.002775217],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2487354,"threshold_uncertainty_score":0.9983286,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06774780822632265,"score_gpt":0.2883472779466192,"score_spread":0.2205994697202966,"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."}}