{"id":"W2609834214","doi":"10.1017/jsl.2019.73","title":"DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS","year":2020,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada; Univerzita Karlova v Praze","keywords":"Idempotence; Congruence (geometry); Mathematics; Variety (cybernetics); Sequence (biology); Class (philosophy); Polynomial; Time complexity; Type (biology); Path (computing); Pure mathematics; Algebra over a field; Discrete mathematics; Computer science; Mathematical analysis","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.0003012337,0.0001478196,0.0003542479,0.0002037966,0.00008044433,0.00007334314,0.000829504,0.00006726087,0.00004552547],"category_scores_gemma":[0.0003088598,0.0001156452,0.0001493855,0.0005560532,0.0000439028,0.0009820506,0.0001608734,0.0004041592,0.00007613737],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006073806,"about_ca_system_score_gemma":0.00009901614,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001578999,"about_ca_topic_score_gemma":7.834536e-7,"domain_scores_codex":[0.9984624,0.00009283492,0.0006149093,0.0002117839,0.0003101627,0.0003079309],"domain_scores_gemma":[0.9988881,0.0002321838,0.0003718075,0.0001766246,0.00008679159,0.0002444598],"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.0000442252,0.0002439715,0.004731144,0.00004283633,0.00006409608,0.001940781,0.002867077,0.02161339,0.009018424,0.950114,0.00145813,0.00786195],"study_design_scores_gemma":[0.001882837,0.0009218459,0.03159977,0.000141112,0.00002361818,0.000568712,0.0003302619,0.01504993,0.001866609,0.9446771,0.002466023,0.0004721524],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4398693,0.002081147,0.5253233,0.03021423,0.0008241025,0.0002113487,0.00000408325,0.0001052929,0.001367252],"genre_scores_gemma":[0.9808801,0.0001810199,0.0112104,0.007372055,0.0003297717,0.000002566384,6.634601e-7,0.000007556362,0.00001589959],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5410107,"threshold_uncertainty_score":0.4715875,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03510935235772742,"score_gpt":0.2733136988233666,"score_spread":0.2382043464656392,"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."}}