{"id":"W4414602371","doi":"10.1007/s00222-025-01365-6","title":"Coxeter groups are biautomatic","year":2025,"lang":"en","type":"article","venue":"Inventiones mathematicae","topic":"Advanced Combinatorial Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Coxeter group; Isometry (Riemannian geometry); Coxeter complex; Group (periodic table); Point group; Artin group","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.001345933,0.001058742,0.0009740564,0.002298779,0.004343469,0.004511049,0.001389754,0.001704872,0.0242034],"category_scores_gemma":[0.002806609,0.0009874955,0.001173315,0.001824913,0.005060003,0.007785559,0.003666719,0.004606418,0.006048129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001165339,"about_ca_system_score_gemma":0.001033255,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005995487,"about_ca_topic_score_gemma":0.0006622542,"domain_scores_codex":[0.9980229,0.0003310509,0.0001467138,0.000485418,0.0006003014,0.0004136233],"domain_scores_gemma":[0.9976803,0.0008061054,0.0002511284,0.0004291871,0.0004767502,0.0003564007],"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.00002624922,0.00002481539,0.00007602284,0.00001621073,0.000003921388,0.00005759295,0.0002027427,0.00003819433,0.0006373612,0.9956222,0.001045232,0.00224941],"study_design_scores_gemma":[0.00002548659,0.00002880209,0.0002028182,0.000006235889,0.000009527258,0.0001985298,0.0001320169,0.0004283721,0.001494683,0.9873192,0.01013476,0.00001942675],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2664977,0.0008945624,0.1732952,0.004000679,0.003167178,0.0003340438,0.000985338,0.002090463,0.5487348],"genre_scores_gemma":[0.8133523,0.0005839283,0.02658392,0.001161392,0.001276663,0.0003580313,0.000680023,0.0004860883,0.1555175],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0242034,"threshold_uncertainty_score":0.08096838,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04821897073287391,"score_gpt":0.3534117187635942,"score_spread":0.3051927480307203,"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."}}