{"id":"W2898795341","doi":"10.1142/s0218196720500125","title":"The complexity of properties of transformation semigroups","year":2019,"lang":"en","type":"preprint","venue":"International Journal of Algebra and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Semigroup; Mathematics; Semilattice; Idempotence; Transformation (genetics); Commutative property; Decidability; Discrete mathematics; Bicyclic semigroup; Cancellative semigroup; Polynomial; Pure mathematics; Combinatorics; Algebra over a field; Mathematical analysis","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.0006518948,0.0001208931,0.0002690681,0.0001741136,0.0000405086,0.000139952,0.0009672939,0.00007381634,0.000001558892],"category_scores_gemma":[0.00003593538,0.00008155293,0.0001481824,0.0000661915,0.0001935186,0.0004006854,0.0002710698,0.0002313582,8.021336e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003602781,"about_ca_system_score_gemma":0.0001421624,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002207777,"about_ca_topic_score_gemma":0.000002547878,"domain_scores_codex":[0.9982631,0.0001085499,0.0008110483,0.0001170316,0.0006209845,0.00007929553],"domain_scores_gemma":[0.9974769,0.0001281039,0.001316376,0.0001426599,0.0009071078,0.00002880789],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004360862,0.0003225091,0.000681246,0.0006475498,0.00115206,0.000009256177,0.0160693,0.03689846,0.01061401,0.6077174,0.0003322027,0.3251199],"study_design_scores_gemma":[0.001099886,0.0002896191,0.01062458,0.001408604,0.00005531375,0.0001790582,0.0006198661,0.5050759,0.0261097,0.4540987,0.0001926842,0.0002460633],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5915903,0.00114572,0.404079,0.001664084,0.001266324,0.0001184799,0.000007526091,0.000009658327,0.0001187877],"genre_scores_gemma":[0.9960961,0.0003262444,0.003425563,0.00004667599,0.00008638963,0.000001381772,0.000006083466,0.000005182938,0.000006321542],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4681775,"threshold_uncertainty_score":0.3325632,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03541922886832506,"score_gpt":0.2658779867826592,"score_spread":0.2304587579143341,"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."}}