{"id":"W4321437526","doi":"10.1007/s00200-023-00597-4","title":"Algebraic and SAT models for SCA generation","year":2023,"lang":"en","type":"article","venue":"Applicable Algebra in Engineering Communication and Computing","topic":"Ubiquitin and proteasome pathways","field":"Biochemistry, Genetics and Molecular Biology","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Wilfrid Laurier University","funders":"","keywords":"Solver; Pairwise comparison; Algebraic number; Scalability; Gröbner basis; Variety (cybernetics); Computation; Computer science; Sequence (biology); Symbolic computation; Polynomial; Boolean satisfiability problem; Basis (linear algebra); Mathematics; Theoretical computer science; Algorithm; Artificial intelligence; Programming language","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.0003159199,0.00009137824,0.00009165772,0.00005825351,0.000103819,0.00003668621,0.0001122887,0.00007249015,5.655896e-7],"category_scores_gemma":[0.00002519953,0.0001052462,0.00001805563,0.0001226255,0.00001953054,0.000007076581,0.0001829235,0.00006768308,0.000001438362],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006118047,"about_ca_system_score_gemma":0.000008608099,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001006633,"about_ca_topic_score_gemma":0.000005737703,"domain_scores_codex":[0.9994465,0.00001893012,0.0001443534,0.0001919645,0.00003924324,0.0001590159],"domain_scores_gemma":[0.9996185,0.00004625318,0.00003090327,0.0002441369,0.00002166376,0.00003858198],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002429008,0.00004259919,0.001251152,0.000251917,0.00005238219,5.371341e-7,0.0006783892,0.1151324,0.7800531,0.03927049,0.0007653362,0.06247746],"study_design_scores_gemma":[0.0004055742,0.00003674304,0.000702095,0.0000288849,0.000004623723,0.000005063289,0.00004723388,0.9650036,0.02910597,0.001391546,0.003105837,0.000162863],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9245108,0.001937808,0.07284305,0.000165952,0.00002224035,0.0003282379,0.000003806929,0.00006267743,0.0001253889],"genre_scores_gemma":[0.9905059,0.0004748711,0.00851506,0.00009508735,0.00006199552,0.00009261322,0.0002065522,0.00001900451,0.00002890592],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8498712,"threshold_uncertainty_score":0.4291816,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02024596758706582,"score_gpt":0.2415058145373675,"score_spread":0.2212598469503017,"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."}}