{"id":"W2951958096","doi":"10.1142/s0129054120410075","title":"The Intersection Problem for Finite Semigroups","year":2020,"lang":"en","type":"preprint","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Deutsche Forschungsgemeinschaft","keywords":"Decidability; Special classes of semigroups; Intersection (aeronautics); Mathematics; Commutative property; Semigroup; Complexity class; Monoid; Bounded function; Class (philosophy); Word problem (mathematics education); Discrete mathematics; Morphism; Order (exchange); Krohn–Rhodes theory; Pure mathematics; Time complexity; Computer science; Arithmetic","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.003215338,0.0006213792,0.001583523,0.001632016,0.002958538,0.006554853,0.002013091,0.001683422,0.008262462],"category_scores_gemma":[0.01890098,0.0008390765,0.002483581,0.002030672,0.00482601,0.01600957,0.004268739,0.004350547,0.0006466013],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003237695,"about_ca_system_score_gemma":0.002558235,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00176547,"about_ca_topic_score_gemma":0.001090658,"domain_scores_codex":[0.9945917,0.001239509,0.0005878471,0.00155418,0.001400803,0.0006259997],"domain_scores_gemma":[0.9566621,0.03683802,0.001857085,0.0022047,0.001240763,0.00119731],"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.001434315,0.0004016118,0.007643981,0.0007842249,0.0001788799,0.0006839103,0.003418256,0.03869976,0.006993284,0.8678154,0.006141104,0.06580524],"study_design_scores_gemma":[0.00007892663,0.00009014022,0.001099989,0.0000655357,0.00006755255,0.0004208122,0.0007560565,0.07800834,0.006892138,0.9082106,0.004258534,0.00005134199],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7037534,0.00134113,0.2622111,0.005724535,0.0001067575,0.0002744713,0.00194396,0.001212256,0.02343225],"genre_scores_gemma":[0.943066,0.0005444517,0.04764628,0.0002922801,0.0002484913,0.000216313,0.002516621,0.0001911772,0.005278471],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008262462,"threshold_uncertainty_score":0.02764064,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02632932462093096,"score_gpt":0.3082218627228592,"score_spread":0.2818925381019283,"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."}}