{"id":"W2747855459","doi":"10.1051/ita/2017013","title":"On avoidability of formulas with reversal","year":2017,"lang":"en","type":"article","venue":"RAIRO - Theoretical Informatics and Applications","topic":"Holomorphic and Operator Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Winnipeg","funders":"","keywords":"Characterization (materials science); Variable (mathematics); Class (philosophy); Relation (database); Term (time)","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.0004528846,0.0001186021,0.000218831,0.00002617327,0.0003706313,0.00005920047,0.0002576055,0.00007652013,0.0001006812],"category_scores_gemma":[0.0002389415,0.00007911083,0.00004023188,0.00003531755,0.001230091,0.0001139258,0.00008560187,0.000148308,0.00001884029],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001260517,"about_ca_system_score_gemma":0.00002766947,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000015355,"about_ca_topic_score_gemma":0.000001381257,"domain_scores_codex":[0.9992431,0.00001891911,0.0003355585,0.00008868812,0.0001648297,0.000148894],"domain_scores_gemma":[0.9983602,0.0004627481,0.0002060057,0.0007834792,0.00008146077,0.0001061072],"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.00004131088,0.00009144486,0.0001045432,0.0001010393,0.00001642207,1.833446e-7,0.0003481113,0.000002535071,0.00001622034,0.9972931,0.00012116,0.001863965],"study_design_scores_gemma":[0.0004845511,0.0001443107,0.0002236574,0.00004933342,0.00004018192,0.00000581779,0.0003284341,0.001840527,0.0007632909,0.9950044,0.0009878384,0.0001276546],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6720585,0.000007424136,0.1822299,0.000510535,0.00001905943,0.001035337,0.00009028955,0.00006003008,0.1439889],"genre_scores_gemma":[0.9861093,0.00000842479,0.01356931,0.0001144928,0.00002250792,0.00008201219,0.000004164962,0.00001071336,0.00007911988],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3140508,"threshold_uncertainty_score":0.4532322,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01926367236373752,"score_gpt":0.3021301551937171,"score_spread":0.2828664828299796,"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."}}