{"id":"W3158310650","doi":"10.1109/lics52264.2021.9470557","title":"Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP","year":2021,"lang":"en","type":"preprint","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Mathematical proof; Mathematics; Constraint satisfaction problem; Class (philosophy); Consistency (knowledge bases); Algebraic number; Constraint satisfaction; Algebra over a field; Discrete mathematics; Pure mathematics; Computer science","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":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0005916331,0.0003329967,0.0003140597,0.00008798932,0.0004618299,0.001345569,0.002116625,0.0003108876,0.0002945638],"category_scores_gemma":[0.0002766591,0.0001982825,0.0003093605,0.0004089889,0.00009568081,0.0001549696,0.002005786,0.0007126281,0.0000653032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000603087,"about_ca_system_score_gemma":0.0002542759,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001815714,"about_ca_topic_score_gemma":0.001869245,"domain_scores_codex":[0.9979098,0.0001183886,0.0003951709,0.0008111757,0.0004150922,0.0003503893],"domain_scores_gemma":[0.9965552,0.001246951,0.0001887016,0.001777626,0.0001115502,0.0001199652],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001515419,0.00004703501,0.0002429643,0.00003445673,0.0001480664,0.000002572729,0.003101703,0.01320777,0.000002583065,0.6869317,0.002440371,0.2938257],"study_design_scores_gemma":[0.0002541206,0.0001008258,0.006457412,0.0001075011,0.00009608425,0.00004083458,0.001058152,0.7690893,0.0003332283,0.211573,0.01018778,0.0007017562],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001430965,0.0002482109,0.9073755,0.08584232,0.001647462,0.001633165,0.00001005877,0.0002064039,0.001605917],"genre_scores_gemma":[0.46299,0.00002523256,0.5283178,0.006814174,0.0003998897,0.0009219982,0.00003425208,0.00003126042,0.0004654093],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7558815,"threshold_uncertainty_score":0.9996911,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09699595766824509,"score_gpt":0.2799301295929237,"score_spread":0.1829341719246786,"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."}}