{"id":"W2592757846","doi":"10.1142/s0129054113400182","title":"AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS","year":2013,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Sequence (biology); Shuffling; Mathematics; Combinatorics; Combinatorics on words; Discrete mathematics; Function (biology); Algorithm; Word (group theory)","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.001240729,0.0001029726,0.0001754509,0.001002063,0.00007365808,0.000497013,0.003541357,0.00002540192,0.00004515978],"category_scores_gemma":[0.0001966973,0.00008560594,0.00007768864,0.0008542187,0.00025019,0.002517492,0.0003545469,0.0001647847,0.00002928037],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001767307,"about_ca_system_score_gemma":0.0003376318,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002120795,"about_ca_topic_score_gemma":0.000001117683,"domain_scores_codex":[0.997855,0.00005944767,0.0006258122,0.000191399,0.001084534,0.00018382],"domain_scores_gemma":[0.9977524,0.0003352498,0.0005263994,0.0003330774,0.0009707537,0.00008208482],"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.00000342364,0.0002963486,0.001271389,0.000005248241,0.00002103499,0.00001614269,0.0009453025,0.002047014,0.001255223,0.6546852,0.0001709393,0.3392828],"study_design_scores_gemma":[0.0006015841,0.0002478207,0.04067649,0.0002509,0.000002583118,0.0001215581,0.00004597624,0.7204812,0.002330745,0.2349596,0.0001339506,0.000147612],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4710107,0.00001687867,0.5244253,0.001564403,0.002185553,0.00007892604,4.673257e-7,0.00002118239,0.0006965267],"genre_scores_gemma":[0.9293613,0.000006489334,0.07028926,0.0002392828,0.00008645948,0.000002491736,3.072388e-7,0.0000036859,0.00001068904],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7184342,"threshold_uncertainty_score":0.6580781,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01103148235057564,"score_gpt":0.2717489781803248,"score_spread":0.2607174958297491,"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."}}