{"id":"W1583392911","doi":"10.1090/tran/6509","title":"A finite basis theorem for difference-term varieties with a finite residual bound","year":2015,"lang":"en","type":"article","venue":"Transactions of the American Mathematical Society","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Hungarian Scientific Research Fund","keywords":"Algorithm; Annotation; Type (biology); Artificial intelligence; Computer science; Mathematics; Biology","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002394747,0.0001696473,0.0003371068,0.00001948478,0.000223374,0.00006277194,0.0007774768,0.00003587989,0.00001339905],"category_scores_gemma":[0.00008196202,0.00009719703,0.0002707951,0.0004585561,0.0009030422,0.0001613688,0.00004051394,0.0001642539,0.000004417877],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003747133,"about_ca_system_score_gemma":0.0001142536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000105081,"about_ca_topic_score_gemma":0.000003352276,"domain_scores_codex":[0.9988366,0.00006590418,0.00024046,0.0002487498,0.0003342783,0.0002740237],"domain_scores_gemma":[0.9979362,0.001018045,0.0001983202,0.0006195675,0.0001205076,0.000107322],"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.0005411082,0.00219989,0.0006261341,0.0006532616,0.001142124,0.000003465503,0.06038844,0.01572572,0.001201234,0.860971,0.001299058,0.05524851],"study_design_scores_gemma":[0.001009636,0.001014986,0.0009927897,0.00008130191,0.0001660061,0.00001948147,0.002908454,0.0849636,0.002124771,0.9060863,0.000228656,0.0004040317],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02977201,0.00001813983,0.9677887,0.001687864,0.0000393916,0.0002736277,0.00001771739,0.00008710994,0.0003154174],"genre_scores_gemma":[0.7727583,0.000007409034,0.2263394,0.000317823,0.00002033745,0.0000784104,6.675581e-7,0.00001272627,0.0004648863],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7429863,"threshold_uncertainty_score":0.396358,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02955432464631956,"score_gpt":0.2626714057164659,"score_spread":0.2331170810701463,"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."}}