{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008014215,0.0002123229,0.0003023927,0.0004429191,0.00009406403,0.0006089102,0.002145706,0.00006613963,0.00006328289],"category_scores_gemma":[0.00006743492,0.0001656701,0.00007524837,0.00166714,0.0005041251,0.0009529999,0.0009507847,0.0001882612,0.00002710546],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000578846,"about_ca_system_score_gemma":0.0001056835,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002444265,"about_ca_topic_score_gemma":2.038542e-7,"domain_scores_codex":[0.9974588,0.00006411916,0.0005363915,0.0007181049,0.0007649828,0.0004576597],"domain_scores_gemma":[0.9984699,0.0004360577,0.00008750492,0.000832976,0.00006653137,0.0001070562],"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.0000042475,0.00009998214,0.00003592741,0.000315129,0.00001137284,0.00005354072,0.001534321,0.00493182,0.001009214,0.8631479,0.0002875027,0.128569],"study_design_scores_gemma":[0.0001163518,0.00002758173,0.0004876066,0.0001712214,0.000003438393,0.00003411345,0.000002441916,0.7777085,0.003808326,0.2174065,0.00007646319,0.0001574691],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.040534,0.00008719302,0.9572521,0.0006482277,0.0006110169,0.0001854939,0.000004137926,0.0003278047,0.0003500282],"genre_scores_gemma":[0.5175095,0.000002520683,0.4821663,0.0002305295,0.00006814143,0.000006591191,0.000001298169,0.000008327261,0.000006740635],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7727767,"threshold_uncertainty_score":0.6755832,"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."}}