{"id":"W2082599205","doi":"10.2478/s11533-010-0080-x","title":"Finite basis problem for 2-testable monoids","year":2010,"lang":"en","type":"article","venue":"Open Mathematics","topic":"semigroups and automata theory","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Basis (linear algebra); Mathematics; Computer science; Algebra over a field; Pure mathematics; Geometry","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.0008027015,0.0001253843,0.000197872,0.00004051056,0.0001568179,0.0007108634,0.002127643,0.00006301392,0.0001113978],"category_scores_gemma":[0.0001370305,0.0001031916,0.00005536329,0.0001787208,0.00002696045,0.0006388258,0.0006273686,0.0001139015,0.0001416378],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008239652,"about_ca_system_score_gemma":0.00005665685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001002556,"about_ca_topic_score_gemma":0.000009391034,"domain_scores_codex":[0.9991041,0.00001258333,0.0002379944,0.0002527218,0.0001310478,0.0002614922],"domain_scores_gemma":[0.9984596,0.0004523743,0.0001173158,0.0008244942,0.0000689731,0.00007724678],"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.000001803943,0.0001876972,0.00002375972,0.0001009717,0.00001407642,0.000002043474,0.001065572,0.00002330656,0.004852838,0.9658386,0.006281942,0.02160743],"study_design_scores_gemma":[0.0003920958,0.00006310111,0.00001772122,0.00004714934,0.0000109248,0.00001343412,0.00008003236,0.2856959,0.01254729,0.6701015,0.03077401,0.0002567937],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007673142,0.00001234864,0.9609569,0.0007535526,0.0002444024,0.0008856552,0.00001324243,0.0001507777,0.02930992],"genre_scores_gemma":[0.02804896,0.000002865778,0.9673725,0.00026277,0.00004855209,0.0001668327,0.000003888008,0.00002013574,0.004073477],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.295737,"threshold_uncertainty_score":0.6854872,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02438132521933019,"score_gpt":0.2764024682013677,"score_spread":0.2520211429820375,"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."}}