{"id":"W2315867495","doi":"10.1142/s0218196716500612","title":"The subpower membership problem for semigroups","year":2016,"lang":"en","type":"preprint","venue":"International Journal of Algebra and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Semigroup; Mathematics; Commutative property; Direct product; Cancellative semigroup; Nilpotent; Polynomial; Combinatorics; Discrete 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":[],"consensus_categories":[],"category_scores_codex":[0.0009768734,0.0001666765,0.0001987851,0.000148892,0.0001157685,0.0006811547,0.001334458,0.0001054034,0.000003479354],"category_scores_gemma":[0.0000826075,0.0001013837,0.0001854126,0.00004485223,0.00006423514,0.0003809432,0.0004740475,0.0002337844,0.000002524027],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007948087,"about_ca_system_score_gemma":0.0001544415,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002439668,"about_ca_topic_score_gemma":0.000002034229,"domain_scores_codex":[0.9984599,0.00008613112,0.0005554379,0.0002272772,0.0005127624,0.0001584954],"domain_scores_gemma":[0.9971914,0.0008026327,0.0008837825,0.0001566599,0.0008939674,0.00007159962],"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.000157434,0.00007201595,0.0001957901,0.00004864936,0.000580568,0.0000282591,0.001270553,0.0007129929,0.0002669547,0.5589523,0.007324204,0.4303903],"study_design_scores_gemma":[0.0006577481,0.0001041672,0.0006402064,0.0003031846,0.00002188369,0.000173285,0.00004920519,0.02688617,0.0003682307,0.9661022,0.004528144,0.0001656084],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02883474,0.001074654,0.9534509,0.01217384,0.003807505,0.0002115003,0.00001179019,0.00003676998,0.0003983125],"genre_scores_gemma":[0.97594,0.000244357,0.0224109,0.0003645112,0.0008857333,0.00001575184,0.000008113237,0.00001488844,0.0001157633],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9471052,"threshold_uncertainty_score":0.6568391,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01518454421207272,"score_gpt":0.2838025573647477,"score_spread":0.268618013152675,"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."}}