{"id":"W2950350370","doi":"10.48550/arxiv.math/0602454","title":"On the rational subset problem for groups","year":2006,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Decidability; Mathematics; Free product; Monoid; Abelian group; Combinatorics; Discrete mathematics; Group (periodic table); Commutative property; Direct product; Free monoid; Product (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.006171933,0.0007401268,0.001358179,0.001864254,0.003190329,0.005954026,0.002227355,0.002156519,0.004415975],"category_scores_gemma":[0.01235289,0.0007888227,0.003339452,0.001669928,0.007128515,0.02108396,0.004261564,0.005615881,0.0006018555],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004797853,"about_ca_system_score_gemma":0.002209448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003969382,"about_ca_topic_score_gemma":0.002237776,"domain_scores_codex":[0.99503,0.001837626,0.000409143,0.001258575,0.0007206918,0.000743859],"domain_scores_gemma":[0.9802395,0.01728143,0.0005080293,0.00100351,0.0006041836,0.0003633565],"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.0001169653,0.000130857,0.00136872,0.0002020051,0.00003752425,0.0004027571,0.002936336,0.01054424,0.00189941,0.9594253,0.002951414,0.01998449],"study_design_scores_gemma":[0.0000326641,0.00003425915,0.0001751082,0.00003604112,0.00002571835,0.000156853,0.0005511111,0.02316367,0.001899959,0.9683243,0.005572345,0.00002791567],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3211191,0.003949658,0.6079844,0.02226173,0.0004186889,0.0003156105,0.0009226653,0.001420329,0.04160786],"genre_scores_gemma":[0.8850421,0.001527636,0.09674599,0.001383612,0.0008001314,0.0003621755,0.001298609,0.0003094066,0.01253037],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006171933,"threshold_uncertainty_score":0.03481096,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03801478463653996,"score_gpt":0.2499666468721628,"score_spread":0.2119518622356228,"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."}}