{"id":"W2048141197","doi":"10.1016/s0022-4049(03)00124-5","title":"On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties","year":2003,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"semigroups and automata theory","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Assertion; Mathematics; Vertex (graph theory); Rank (graph theory); Combinatorics; Basis (linear algebra); Contrast (vision); Computer science; Geometry; Artificial intelligence; Graph","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.001091266,0.0001088946,0.0002446621,0.00007245642,0.0001270364,0.0001294103,0.0001662495,0.00005393088,0.000003527411],"category_scores_gemma":[0.00008060405,0.00006450947,0.00004503309,0.00009347365,0.0001314494,0.0002451494,0.00003050524,0.0001182061,2.046904e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003746807,"about_ca_system_score_gemma":0.00002256287,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000105514,"about_ca_topic_score_gemma":0.0000013971,"domain_scores_codex":[0.9992474,0.00006874633,0.0002736353,0.0001384087,0.0001527944,0.0001190074],"domain_scores_gemma":[0.9987637,0.0007342525,0.0002444985,0.0001408124,0.00005600621,0.00006067855],"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.0001874208,0.0000617015,0.00005848417,0.00006141423,0.00004834497,0.000001052883,0.002011236,0.0001248218,0.002303661,0.9718995,0.0001647663,0.02307758],"study_design_scores_gemma":[0.004052761,0.0006328153,0.001280065,0.0001040836,0.00006908356,0.00006758312,0.0006548184,0.01380808,0.008348484,0.9700446,0.0007537696,0.0001838705],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.846721,0.001337416,0.1502522,0.0008393485,0.0001141654,0.0002747183,0.00000381916,0.00001412398,0.0004431972],"genre_scores_gemma":[0.9933343,0.0002569447,0.005960776,0.0003880268,0.00002931469,0.000007449595,5.05705e-7,0.000006373268,0.00001634598],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1466133,"threshold_uncertainty_score":0.263062,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01140601166843236,"score_gpt":0.2214527526548045,"score_spread":0.2100467409863721,"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."}}