{"id":"W2768476682","doi":"10.1016/j.tcs.2018.04.039","title":"Avoidance bases for formulas with reversal","year":2018,"lang":"en","type":"preprint","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Index (typography); Subject (documents); Mathematics; Combinatorics; Computer science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000905748,0.0009902102,0.0008633405,0.002411515,0.002376659,0.004642811,0.001471426,0.001308834,0.01164635],"category_scores_gemma":[0.002756281,0.0006336518,0.00113127,0.001590675,0.002249405,0.005736694,0.002787442,0.003895163,0.002410028],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001296921,"about_ca_system_score_gemma":0.000962396,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009924505,"about_ca_topic_score_gemma":0.001205119,"domain_scores_codex":[0.9990338,0.0001621799,0.00006484365,0.0002110948,0.0003307939,0.0001972528],"domain_scores_gemma":[0.9986455,0.0005161936,0.0001021489,0.000273607,0.0002854001,0.0001772083],"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.00003284573,0.00002546058,0.00009088347,0.00002659233,0.000006331834,0.0000420988,0.0001537841,0.0004412465,0.0006976529,0.9895471,0.001262791,0.007673188],"study_design_scores_gemma":[0.00001265934,0.000007127136,0.00003574835,0.000008177399,0.000008757888,0.00003206393,0.00004280166,0.001542928,0.0004739016,0.9939868,0.003840483,0.000008518627],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.247875,0.001781836,0.5382696,0.00328869,0.001233577,0.000170922,0.001123369,0.001612965,0.204644],"genre_scores_gemma":[0.8980265,0.0007425209,0.0536521,0.0008716176,0.0006333347,0.0001915945,0.001293864,0.0005093972,0.04407917],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01164635,"threshold_uncertainty_score":0.03896093,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01194855463904367,"score_gpt":0.2529653569579727,"score_spread":0.2410168023189291,"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."}}