{"id":"W2096361394","doi":"10.1142/s0129054114400267","title":"ON THE NUMBER OF ABELIAN BORDERED WORDS (WITH AN EXAMPLE OF AUTOMATIC THEOREM-PROVING)","year":2014,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Winnipeg; Queen's University","funders":"Russian Foundation for Basic Research","keywords":"Bijection, injection and surjection; Abelian group; Connection (principal bundle); Combinatorics on words; Mathematics; Alphabet; Combinatorics; Lattice (music); Word (group theory); Discrete mathematics; Bijection; Geometry; Linguistics","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":[],"consensus_categories":[],"category_scores_codex":[0.002158587,0.000109109,0.0002168503,0.0003556195,0.0001000249,0.000179964,0.003727542,0.00002144241,0.00004598796],"category_scores_gemma":[0.0001740919,0.00006754723,0.00008307258,0.0006169645,0.0006525111,0.00117017,0.0002361589,0.0001122733,0.000003819381],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003924715,"about_ca_system_score_gemma":0.0003433725,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006683655,"about_ca_topic_score_gemma":0.000005290598,"domain_scores_codex":[0.9976786,0.0001250438,0.0006204591,0.0001959764,0.001236995,0.000142957],"domain_scores_gemma":[0.9961963,0.0007314658,0.00104139,0.0005940726,0.001368588,0.00006821124],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002039325,0.0002511714,0.0005732306,0.000009060273,0.0000509463,0.000001987664,0.001285346,0.001965509,0.001582074,0.8991667,0.0000463251,0.09504724],"study_design_scores_gemma":[0.0008880012,0.001061295,0.02002879,0.0005346657,0.00001897542,0.0002702897,0.0001059384,0.74364,0.01338018,0.2195988,0.0002681576,0.0002048276],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4511591,0.000003491269,0.5474225,0.0005478325,0.0004251058,0.00004316436,0.000001385329,0.000009357908,0.000388076],"genre_scores_gemma":[0.8546105,0.000002128503,0.1451581,0.0001523865,0.00006448149,0.000001090327,5.905633e-7,0.000004332972,0.000006398117],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7416745,"threshold_uncertainty_score":0.6926763,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01781920411393394,"score_gpt":0.2849004194316407,"score_spread":0.2670812153177068,"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."}}