{"id":"W4404194047","doi":"10.1017/s0960129524000276","title":"Optimal approximate minimization of one-letter weighted finite automata","year":2024,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal; Canadian Institute for Advanced Research; McGill University; Mila - Quebec Artificial Intelligence Institute","funders":"","keywords":"Minification; Automaton; DFA minimization; Computer science; Mathematics; Algorithm; Nondeterministic finite automaton; Mathematical optimization; Automata theory; Theoretical computer science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001260108,0.0006118797,0.001116791,0.000522906,0.000473,0.001236766,0.001414484,0.001067466,0.002463773],"category_scores_gemma":[0.009451183,0.0003289839,0.0006690922,0.0006149304,0.001093366,0.002323848,0.001070736,0.00110282,0.0003444338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001133105,"about_ca_system_score_gemma":0.0007739814,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001075461,"about_ca_topic_score_gemma":0.001273176,"domain_scores_codex":[0.9986709,0.0004949124,0.00008503492,0.0003003698,0.000305942,0.0001428256],"domain_scores_gemma":[0.9946594,0.003862902,0.0002367438,0.0006165933,0.0004781399,0.0001462217],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003075445,0.00008714075,0.0008158156,0.0002597226,0.0000532179,0.0001157019,0.0002060444,0.7887083,0.009159695,0.1423597,0.001411931,0.05651513],"study_design_scores_gemma":[0.000005148132,0.00002137583,0.00003932686,0.000007351161,0.000004127609,0.00001307322,0.00001855194,0.949066,0.001517842,0.04908651,0.000216639,0.000004083507],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1598792,0.0002666438,0.8353563,0.0003875222,0.0000667441,0.00004832283,0.0001398558,0.0004967942,0.003358595],"genre_scores_gemma":[0.7998456,0.0001200407,0.1967529,0.00009950479,0.00003765095,0.0001236812,0.0002310143,0.0001554255,0.002634108],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002463773,"threshold_uncertainty_score":0.00824219,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01421954266213909,"score_gpt":0.2522653250742937,"score_spread":0.2380457824121546,"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."}}