{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007596695,0.0004433256,0.0005939099,0.0005152696,0.001897699,0.001808288,0.0008190001,0.001051852,0.01022522],"category_scores_gemma":[0.002734358,0.0004472157,0.0008606788,0.0005129373,0.003366379,0.004040522,0.002696845,0.0019248,0.003114385],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005389115,"about_ca_system_score_gemma":0.0006680583,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002317531,"about_ca_topic_score_gemma":0.000374302,"domain_scores_codex":[0.9991834,0.0002241051,0.00007673696,0.0002224251,0.0002036775,0.00008972171],"domain_scores_gemma":[0.9979075,0.0007159307,0.0001903821,0.0006062085,0.0003253039,0.000254622],"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.0003395083,0.00005930602,0.001019528,0.00047429,0.00002712163,0.0006716549,0.001813894,0.001311299,0.04058938,0.9102306,0.005149452,0.0383138],"study_design_scores_gemma":[0.00008452051,0.0001836391,0.0007872459,0.0002091013,0.00008603676,0.002095944,0.0009416979,0.007250675,0.03952001,0.8472972,0.1014177,0.0001263046],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3053527,0.001030072,0.5598863,0.006149323,0.001905297,0.0001596931,0.000588302,0.001899915,0.1230284],"genre_scores_gemma":[0.7512894,0.0003748475,0.2252786,0.0009901364,0.0001955129,0.0001690259,0.000330875,0.0007279714,0.02064352],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01022522,"threshold_uncertainty_score":0.03420675,"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."}}