{"id":"W4280590593","doi":"10.1090/btran/120","title":"Correction to “A finite basis theorem for difference-term varieties with a finite residual bound”","year":2022,"lang":"en","type":"article","venue":"Transactions of the American Mathematical Society Series B","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Lemma (botany); Residual; Term (time); Pure mathematics; Discrete mathematics; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005834979,0.002452274,0.001466567,0.002598217,0.004334526,0.003190124,0.005365217,0.006784965,0.02216243],"category_scores_gemma":[0.03920575,0.001037206,0.002085755,0.001860329,0.00729535,0.007829305,0.00317195,0.01748008,0.01314817],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004591985,"about_ca_system_score_gemma":0.003618046,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006085174,"about_ca_topic_score_gemma":0.006202503,"domain_scores_codex":[0.994917,0.0009300672,0.0005193877,0.001083893,0.001963014,0.0005867057],"domain_scores_gemma":[0.9839213,0.005019742,0.0008256518,0.001664086,0.007848297,0.0007209303],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005482715,0.00001231655,0.000104036,0.0001449512,0.00003585414,0.0002516269,0.0001184533,0.0001205349,0.0001885686,0.02111118,0.9704691,0.007388545],"study_design_scores_gemma":[0.0001059085,0.00004296741,0.000754035,0.0002872294,0.0001357727,0.0009337041,0.0001311178,0.002121947,0.001568764,0.09446298,0.8993006,0.0001548994],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"other","genre_scores_codex":[0.00119107,0.003707286,0.01658665,0.2991481,0.6702659,0.00002384442,0.0005889154,0.001249239,0.007238998],"genre_scores_gemma":[0.08052424,0.009871511,0.0216873,0.2859385,0.4915693,0.0002399093,0.001189921,0.00308907,0.1058902],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02216243,"threshold_uncertainty_score":0.07414073,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01308605672486689,"score_gpt":0.2361237937205557,"score_spread":0.2230377369956888,"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."}}