{"id":"W1547922676","doi":"10.1109/lics.2015.70","title":"A Canonical Form for Weighted Automata and Applications to Approximate Minimization","year":2015,"lang":"en","type":"article","venue":"","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Hankel matrix; Quantum finite automata; Singular value decomposition; Automaton; Series (stratigraphy); Finite-state machine; Algorithm; Canonical form; Discrete mathematics; Automata theory; Computer science; Theoretical computer science; Pure mathematics","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.002123784,0.001141972,0.001052675,0.001427492,0.0008397183,0.002041138,0.001731222,0.001379009,0.0057345],"category_scores_gemma":[0.01178737,0.0007143636,0.001732961,0.001749438,0.002467036,0.004145212,0.002355819,0.002951932,0.001591359],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001174204,"about_ca_system_score_gemma":0.001036766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001803289,"about_ca_topic_score_gemma":0.001994567,"domain_scores_codex":[0.99801,0.0006556362,0.0001569877,0.0005134055,0.0005262692,0.0001377531],"domain_scores_gemma":[0.9970392,0.001569478,0.0002120913,0.0004048238,0.0006618361,0.0001126839],"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.00002713919,0.00003226339,0.000406788,0.0001128415,0.00002981544,0.00005922512,0.0002059823,0.08894027,0.00184022,0.859775,0.001396109,0.04717439],"study_design_scores_gemma":[0.000006182926,0.00003394693,0.00005813816,0.0000323072,0.0000099484,0.00004328672,0.0000421697,0.384538,0.00107878,0.6099811,0.00416059,0.00001573286],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004023366,0.0002427344,0.9930919,0.0001883308,0.00007199954,0.00002589469,0.00004195049,0.0001197114,0.002194144],"genre_scores_gemma":[0.20218,0.001348973,0.7862651,0.0003167243,0.0003506109,0.0004392198,0.0004378166,0.0005394644,0.008122056],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0057345,"threshold_uncertainty_score":0.01918381,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02358590256404125,"score_gpt":0.292413512857676,"score_spread":0.2688276102936348,"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."}}