{"id":"W2171278552","doi":"10.1016/j.tcs.2011.06.012","title":"The Černý conjecture for one-cluster automata with prime length cycle","year":2011,"lang":"en","type":"preprint","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Conjecture; Prime (order theory); Combinatorics; Cluster (spacecraft); Automaton; Mathematics; Computer science; Theoretical computer science","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","scholarly_communication","open_science"],"consensus_categories":[],"category_scores_codex":[0.003652096,0.0006049493,0.0005782064,0.0001751311,0.001284335,0.002107645,0.01086748,0.0002639359,0.0000171375],"category_scores_gemma":[0.0001281624,0.0003584546,0.0002120449,0.0005708523,0.005582395,0.0005416761,0.007953278,0.0008682346,0.00007334491],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001190754,"about_ca_system_score_gemma":0.0006372516,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001003308,"about_ca_topic_score_gemma":0.000003177242,"domain_scores_codex":[0.9948624,0.000253843,0.0005382076,0.001908662,0.001153087,0.001283734],"domain_scores_gemma":[0.9939341,0.001234503,0.0003413849,0.003732155,0.0003661923,0.0003916448],"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.00004968387,0.0000922648,0.00000451936,0.00003973039,0.00003616567,0.000006254555,0.0007904511,0.000216448,0.00003374343,0.952824,0.0001566428,0.04575007],"study_design_scores_gemma":[0.0003917889,0.0003227393,0.0001544739,0.0001487567,0.00002413079,0.00004420925,0.000005621175,0.4669886,0.001838055,0.5292242,0.0003935315,0.000463878],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009183946,0.0001286814,0.981173,0.003254412,0.00169756,0.001231646,0.00001739186,0.0007627476,0.002550612],"genre_scores_gemma":[0.7545794,0.0000186274,0.2438536,0.0009815826,0.0003542769,0.0001203426,0.000006162997,0.00003973933,0.00004632468],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7453954,"threshold_uncertainty_score":0.9998868,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01376779848343421,"score_gpt":0.2393295150438628,"score_spread":0.2255617165604286,"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."}}