{"id":"W4390604910","doi":"10.1007/s00283-023-10316-z","title":"On the Three-Distance Theorem","year":2024,"lang":"en","type":"article","venue":"The Mathematical Intelligencer","topic":"semigroups and automata theory","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"Agence Nationale de la Recherche","keywords":"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.001630545,0.0005040879,0.0009088208,0.001232025,0.00245385,0.002620329,0.001511277,0.001646902,0.0122856],"category_scores_gemma":[0.004021006,0.0002665877,0.001136824,0.001184573,0.005686956,0.009313544,0.004965267,0.004336259,0.002224493],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001501219,"about_ca_system_score_gemma":0.0006207175,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001093686,"about_ca_topic_score_gemma":0.0006448704,"domain_scores_codex":[0.9987643,0.0003369209,0.00006779846,0.0003564368,0.0003242737,0.0001503221],"domain_scores_gemma":[0.9975121,0.001394434,0.0001046495,0.0004266025,0.0003692,0.0001930442],"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.000008343261,0.000003878263,0.00003411019,0.00001073361,0.000002084268,0.00001134983,0.00005445072,0.00008598115,0.00007011195,0.9968123,0.0008216907,0.002084883],"study_design_scores_gemma":[0.000005475989,0.000004302185,0.00003999022,0.000004189887,0.000001517494,0.00002357493,0.00002474438,0.0005164781,0.00008516543,0.9955112,0.003780491,0.000002972486],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07856628,0.004427444,0.5152835,0.01995222,0.001533683,0.00006671902,0.0006105907,0.0004275444,0.3791319],"genre_scores_gemma":[0.8611879,0.001840326,0.08046323,0.004739576,0.001058395,0.0002297337,0.0005715695,0.0002620171,0.04964723],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0122856,"threshold_uncertainty_score":0.04109937,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03363884972925238,"score_gpt":0.2801526812953224,"score_spread":0.24651383156607,"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."}}