{"id":"W2005868985","doi":"10.1016/j.tcs.2010.10.007","title":"On the superimposition of Christoffel words","year":2010,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Christoffel symbols; Superimposition; Mathematics; Conjecture; Root (linguistics); Existential quantification; Pure mathematics; Combinatorics; Arithmetic; Algebra over a field; Linguistics; Computer science; Artificial intelligence; Philosophy","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.001870539,0.000126397,0.0001337141,0.0001078158,0.0003199372,0.0002148614,0.003026662,0.00004454741,0.0001042573],"category_scores_gemma":[0.0001281653,0.00007500846,0.0000642723,0.0007850063,0.003283765,0.000334767,0.0006221177,0.0003051827,0.0000617682],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001309997,"about_ca_system_score_gemma":0.00006837448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002387512,"about_ca_topic_score_gemma":2.503773e-7,"domain_scores_codex":[0.9983748,0.00008328466,0.000199171,0.0004115845,0.0005964971,0.0003346902],"domain_scores_gemma":[0.9979433,0.0006732836,0.00005985488,0.001105037,0.00009707044,0.0001214523],"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.000004180724,0.00004740214,0.000007129623,0.000001797502,0.000001349366,0.000002011537,0.0003044369,0.00001190245,0.03001088,0.955389,0.00005792818,0.01416204],"study_design_scores_gemma":[0.00009755454,0.0001903891,0.0008426981,0.00001835707,0.000001880385,0.00002702552,0.000005844434,0.2975677,0.07193111,0.6291378,0.00005188768,0.0001277621],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4485279,0.000004129844,0.5458986,0.001506692,0.0006232911,0.00008095845,8.784364e-7,0.00008562873,0.003271954],"genre_scores_gemma":[0.970135,7.896898e-7,0.02879437,0.0009692671,0.00008735034,0.00000460543,2.380025e-7,0.000004770823,0.000003591625],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5216071,"threshold_uncertainty_score":0.9994287,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005362706332115055,"score_gpt":0.2226393507159611,"score_spread":0.2172766443838461,"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."}}