{"id":"W3042874346","doi":"10.1051/ita/2021001","title":"The simplest binary word with only three squares","year":2021,"lang":"en","type":"preprint","venue":"RAIRO - Theoretical Informatics and Applications","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Correctness; Word (group theory); Binary number; Property (philosophy); Computer science; Mathematics; Binary operation; Software; Discrete mathematics; Algebra over a field; Theoretical computer science; Arithmetic; Algorithm; Pure mathematics; Programming language; Epistemology; Philosophy","routes":{"ca_aff":true,"ca_fund":true,"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":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0004781334,0.0003064382,0.0002985504,0.00005898055,0.0006303172,0.001420225,0.001439958,0.000180145,0.00001682395],"category_scores_gemma":[0.00002928684,0.0001866676,0.00009792118,0.0002856792,0.0009826605,0.000213903,0.002013374,0.0005802461,0.00002047184],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002764282,"about_ca_system_score_gemma":0.0002343654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007629549,"about_ca_topic_score_gemma":0.00001784775,"domain_scores_codex":[0.9983901,0.00004838279,0.0005473191,0.0003031096,0.0003391445,0.0003719857],"domain_scores_gemma":[0.9971053,0.0007440865,0.0002455306,0.001600591,0.0001361092,0.0001683664],"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.000004111955,0.00004168279,0.00002412023,0.000075762,0.00003577698,0.000001648039,0.0005312338,0.0001820851,0.000003142289,0.9189919,0.0001453023,0.07996321],"study_design_scores_gemma":[0.000211025,0.00006156758,0.0007199717,0.0001599198,0.00004867,0.00006651458,0.0007878343,0.3225878,0.00004232806,0.6621566,0.01269941,0.0004582829],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02276922,0.0005949028,0.9675848,0.002435999,0.00007595778,0.0007530902,0.00003687448,0.0002310594,0.005518126],"genre_scores_gemma":[0.9089769,0.0006466893,0.08836016,0.0009412546,0.0001613247,0.0006991372,0.0001226179,0.0000322126,0.00005966623],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8862077,"threshold_uncertainty_score":0.9996164,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008547743220322503,"score_gpt":0.2370078059017377,"score_spread":0.2284600626814152,"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."}}