{"id":"W4396930828","doi":"10.46298/theoretics.24.14","title":"Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras","year":2024,"lang":"en","type":"article","venue":"TheoretiCS","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"European Commission; Natural Sciences and Engineering Research Council of Canada; Division of Mathematical Sciences; National Science Foundation; Narodowym Centrum Nauki; National Research University Higher School of Economics","keywords":"Algebraic number; Algebra over a field; Mathematics; Computer science; Programming language; Pure mathematics","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.004448458,0.0005122713,0.0007864712,0.002084599,0.002235541,0.003932673,0.002312524,0.001453369,0.005403157],"category_scores_gemma":[0.009337245,0.0004372371,0.001608294,0.001601267,0.008662745,0.01683907,0.005445625,0.004302091,0.0006530751],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002832108,"about_ca_system_score_gemma":0.003547478,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001509917,"about_ca_topic_score_gemma":0.001854443,"domain_scores_codex":[0.9962999,0.001332525,0.0002406636,0.0003973732,0.001401342,0.0003282524],"domain_scores_gemma":[0.9934189,0.003627245,0.0006024208,0.001006772,0.0008935935,0.0004510151],"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.000003467505,0.000006630108,0.00003843293,0.00001296898,0.000001641233,0.00001087486,0.00008466021,0.0004056378,0.00009930212,0.9972988,0.0001011973,0.001936421],"study_design_scores_gemma":[0.00000545356,0.0000122612,0.00004788077,0.0000159841,0.000003955739,0.00003123274,0.00008353621,0.008032381,0.000403234,0.9881846,0.003169912,0.000009507206],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01995267,0.0008421358,0.9366155,0.003789113,0.0001147264,0.0001370885,0.00008999459,0.0001688274,0.03828995],"genre_scores_gemma":[0.58246,0.001913975,0.4027265,0.001263592,0.0006311334,0.0004855645,0.0002155115,0.0001506019,0.01015301],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005403157,"threshold_uncertainty_score":0.02352595,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07831644072835506,"score_gpt":0.2471832289377142,"score_spread":0.1688667882093592,"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."}}