{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009797739,0.001091316,0.001106163,0.001316731,0.002287952,0.007784432,0.001907022,0.001496645,0.1359043],"category_scores_gemma":[0.006821978,0.0005219342,0.001401726,0.002374853,0.001643615,0.008890691,0.002831049,0.005634648,0.03551272],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002948229,"about_ca_system_score_gemma":0.002093053,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001949359,"about_ca_topic_score_gemma":0.002223591,"domain_scores_codex":[0.9973662,0.0003264912,0.0001383884,0.0009036211,0.0009723281,0.0002929312],"domain_scores_gemma":[0.9950159,0.002024513,0.0002173698,0.001403908,0.0009327837,0.0004054145],"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.00008539372,0.00008830292,0.0004532455,0.0003629422,0.00004693465,0.00007301187,0.0001552333,0.00242008,0.001430866,0.6601587,0.2389505,0.09577478],"study_design_scores_gemma":[0.00002345633,0.00003371075,0.0006100362,0.00008454879,0.00002470258,0.0002882506,0.000107173,0.008597164,0.00120461,0.6774459,0.3115529,0.0000276487],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"commentary","genre_scores_codex":[0.01531046,0.01362986,0.1988688,0.03936503,0.005698138,0.000391651,0.01419893,0.00295796,0.7095792],"genre_scores_gemma":[0.3180073,0.01492536,0.1076528,0.009751987,0.007774409,0.001136844,0.02699671,0.002660203,0.5110943],"genre_candidate":"commentary","genre_consensus":null,"teacher_disagreement_score":0.1359043,"threshold_uncertainty_score":0.4546452,"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."}}