{"id":"W3119265231","doi":"10.1016/j.ic.2021.104686","title":"Descriptional Complexity of Formal Systems (DCFS 2019)","year":2021,"lang":"en","type":"article","venue":"Information and Computation","topic":"semigroups and automata theory","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"Saint Mary's University","funders":"","keywords":"Modulo; Alphabet; Congruence (geometry); Computer science; Arithmetic; Mathematics; Combinatorics; Discrete mathematics; Linguistics; Philosophy","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.0001967022,0.00005698445,0.00009101597,0.00007172174,0.00008307779,0.0001686872,0.0001002668,0.00003031483,0.000006306862],"category_scores_gemma":[0.00001379461,0.00005553911,0.00002398358,0.0001652602,0.00003975134,0.002451257,0.00008639615,0.00003980199,0.00002175258],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000139149,"about_ca_system_score_gemma":0.00005318229,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001996036,"about_ca_topic_score_gemma":8.358595e-7,"domain_scores_codex":[0.9993306,0.00003580404,0.0002913591,0.00006626989,0.0001845329,0.00009138394],"domain_scores_gemma":[0.9994745,0.00003408799,0.0001453518,0.00009613202,0.00021417,0.00003577615],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000541961,0.00001577135,0.0001158359,0.00006247738,0.00000931669,7.476611e-7,0.0009115541,0.003654013,0.0001386251,0.8931116,0.0006019506,0.1013727],"study_design_scores_gemma":[0.0003712515,0.00003687431,0.01400261,0.00002782341,0.000002765861,0.00007457559,0.0003027425,0.9653954,0.0004235306,0.01671619,0.002555267,0.0000910036],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06538472,0.0001368601,0.9322047,0.0002462926,0.0002915382,0.00006274419,0.000009704062,0.00006717021,0.001596305],"genre_scores_gemma":[0.9832836,0.00001281245,0.01635524,0.0002054238,0.0000212517,0.000002976535,0.00009855746,0.000001313222,0.00001875665],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9617413,"threshold_uncertainty_score":0.2264819,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02873548115125589,"score_gpt":0.242582396896716,"score_spread":0.2138469157454602,"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."}}