{"id":"W2962895102","doi":"10.23638/lmcs-15(1:11)2019","title":"The Subpower Membership Problem for Finite Algebras with Cube Terms","year":2019,"lang":"en","type":"article","venue":"CU Scholar (University of Colorado Boulder)","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Cube (algebra); Algebra over a field; Mathematics; Pure mathematics; Computer science; Combinatorics","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.002302879,0.0005769649,0.001141656,0.0007793739,0.001632867,0.003305133,0.002107245,0.001485174,0.0062209],"category_scores_gemma":[0.0126962,0.0005817818,0.002075643,0.001549452,0.002931709,0.01301261,0.003130449,0.004190279,0.000872449],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001998811,"about_ca_system_score_gemma":0.002239309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003430631,"about_ca_topic_score_gemma":0.002807304,"domain_scores_codex":[0.9972433,0.0008035116,0.0002008413,0.0007311672,0.0007349105,0.0002863378],"domain_scores_gemma":[0.9893071,0.008314454,0.0005164216,0.0009212077,0.0004742545,0.000466552],"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.000665676,0.0004847977,0.005759457,0.0007549156,0.0001233308,0.0006331458,0.002142666,0.05107076,0.007775474,0.7910276,0.01440528,0.1251569],"study_design_scores_gemma":[0.00005313443,0.00006272372,0.0004949666,0.00003657459,0.00003684852,0.0002708436,0.0004391947,0.08255281,0.004357883,0.9069324,0.004734326,0.00002834755],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3166854,0.001114543,0.6511977,0.007525306,0.000142084,0.0004526989,0.0021006,0.001488008,0.01929352],"genre_scores_gemma":[0.7683296,0.0009438688,0.2148525,0.0008994931,0.0004425944,0.0003125868,0.004303368,0.0002629071,0.009653158],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0062209,"threshold_uncertainty_score":0.02081102,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007760281499568587,"score_gpt":0.1896241695271647,"score_spread":0.1818638880275961,"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."}}