{"id":"W3098573930","doi":"10.46298/lmcs-19(2:5)2023","title":"Inferring Symbolic Automata","year":2023,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"Israel Science Foundation; Alberta Machine Intelligence Institute; Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs; Canadian Institute for Advanced Research","keywords":"Learnability; Computer science; Theoretical computer science; Model checking; Identifiability; Regular language; Kleene algebra; Bounded function; Boolean function; Limit (mathematics); Probably approximately correct learning; Polynomial; Discrete mathematics; Automaton; Mathematics; Algorithm; Artificial intelligence; Computational learning theory; Machine learning","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.003164786,0.001135147,0.001131687,0.002239309,0.0009529206,0.003184396,0.002386328,0.002068753,0.004420653],"category_scores_gemma":[0.06160843,0.0009732354,0.002691329,0.001575207,0.003181077,0.008920721,0.003633324,0.003287846,0.000920639],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002702997,"about_ca_system_score_gemma":0.002221185,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003187487,"about_ca_topic_score_gemma":0.003608657,"domain_scores_codex":[0.9943433,0.001512611,0.0004172112,0.001845503,0.00144577,0.0004356482],"domain_scores_gemma":[0.9303887,0.05746767,0.003058782,0.005929335,0.002454016,0.0007014477],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003551646,0.0002128719,0.01179151,0.000711737,0.0002166212,0.0005336726,0.001188876,0.4420391,0.01026465,0.4017788,0.002303869,0.1286032],"study_design_scores_gemma":[0.00001532224,0.00004437203,0.0003945273,0.00003678675,0.00003063719,0.0001001238,0.0001004136,0.5681276,0.004104075,0.4252979,0.001726795,0.00002145263],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06826145,0.0003612472,0.9252071,0.0008739011,0.00004248788,0.0001010661,0.0007612142,0.001339263,0.003052225],"genre_scores_gemma":[0.6687236,0.0005588766,0.3230404,0.000363982,0.0001441503,0.0003045844,0.00246184,0.0004366419,0.00396597],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004420653,"threshold_uncertainty_score":0.01961172,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06941551654696516,"score_gpt":0.4283480724184977,"score_spread":0.3589325558715326,"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."}}