{"id":"W4378713939","doi":"10.7561/sacs.2023.1.53","title":"Maximal Existential and Universal Width","year":2023,"lang":"en","type":"article","venue":"Scientific Annals of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Decidability; Mathematics; Computation; Exponential function; Automaton; Finite-state machine; Polynomial; Tree (set theory); Discrete mathematics; Existentialism; Combinatorics; Algorithm; Mathematical analysis; Computer science","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.002513107,0.0007626615,0.0008365401,0.00130904,0.001032648,0.00324493,0.001677208,0.001053033,0.004465462],"category_scores_gemma":[0.01731294,0.0009348026,0.001708293,0.00115473,0.003511845,0.009381048,0.003897486,0.001952232,0.0007677733],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001074089,"about_ca_system_score_gemma":0.001158182,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007085669,"about_ca_topic_score_gemma":0.0006146104,"domain_scores_codex":[0.9954275,0.0004828697,0.0006225985,0.0018021,0.0008015653,0.0008633091],"domain_scores_gemma":[0.9850092,0.008757539,0.00127371,0.002640703,0.001439605,0.0008793342],"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.0006694091,0.0001171697,0.01172662,0.0005751199,0.0001139926,0.0004410701,0.002104639,0.02579726,0.04072072,0.8469048,0.001822923,0.06900621],"study_design_scores_gemma":[0.00004292643,0.0001746296,0.003549836,0.0001563568,0.0001584955,0.001206533,0.0004899689,0.07562333,0.04806343,0.8584048,0.01202345,0.0001062038],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3546587,0.001023867,0.6177697,0.0007454645,0.00009967325,0.0001204172,0.001579619,0.002135113,0.02186738],"genre_scores_gemma":[0.8864389,0.0003827756,0.1086373,0.0001731885,0.00007908231,0.0002346052,0.0006613715,0.0004187781,0.002974152],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004465462,"threshold_uncertainty_score":0.01493847,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04369925376803686,"score_gpt":0.2832251248969503,"score_spread":0.2395258711289135,"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."}}