{"total":21,"rows":[{"id":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24,"area":null},{"id":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","cited_by_count":11,"area":null},{"id":"2206.14621","title":"Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages","created":"2022-06-27","cited_by_count":10,"area":null},{"id":"2405.02936","title":"On the Tractability of SHAP Explanations under Markovian Distributions","created":"2024-05-05","cited_by_count":10,"area":null},{"id":"2306.14040","title":"Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks","created":"2023-06-24","cited_by_count":7,"area":null},{"id":"2303.01576","title":"DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction","created":"2023-03-02","cited_by_count":6,"area":null},{"id":"2403.09728","title":"Simulating Weighted Automata over Sequences and Trees with Transformers","created":"2024-03-12","cited_by_count":4,"area":null},{"id":"2106.02965","title":"Extracting Weighted Automata for Approximate Minimization in Language Modelling","created":"2021-06-05","cited_by_count":3,"area":null},{"id":"2406.02024","title":"Verifying the Generalization of Deep Learning to Out-of-Distribution Domains","created":"2024-06-04","cited_by_count":2,"area":null},{"id":"2204.00360","title":"Extracting Rules from Neural Networks with Partial Interpretations","created":"2022-04-01","cited_by_count":1,"area":null},{"id":"2210.06089","title":"When are Local Queries Useful for Robust Learning?","created":"2022-10-12","cited_by_count":1,"area":null},{"id":"2406.05564","title":"Automata Extraction from Transformers","created":"2024-06-08","cited_by_count":1,"area":null},{"id":"2411.06228","title":"An $\\mathbf{L^*}$ Algorithm for Deterministic Weighted Regular Languages","created":"2024-11-09","cited_by_count":1,"area":null},{"id":"2511.19100","title":"Extracting Robust Register Automata from Neural Networks over Data Sequences","created":"2025-11-24","cited_by_count":1,"area":null},{"id":"2603.05694","title":"Warm Starting State-Space Models with Automata Learning","created":"2026-03-05","cited_by_count":1,"area":null},{"id":"2101.07053","title":"A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces","created":"2021-01-18","cited_by_count":0,"area":null},{"id":"2402.06966","title":"DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction","created":"2024-02-10","cited_by_count":0,"area":null},{"id":"2406.18328","title":"PDFA Distillation via String Probability Queries","created":"2024-06-26","cited_by_count":0,"area":null},{"id":"2407.09775","title":"Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination","created":"2024-07-13","cited_by_count":0,"area":null},{"id":"2602.16473","title":"Synthesis and Verification of Transformer Programs (Technical Report)","created":"2026-02-18","cited_by_count":0,"area":null},{"id":"2610.04569","title":"From Transformers to Weighted Automata: Towards the Verification of Large Language Models","created":"2026-10-03","cited_by_count":0,"area":null}],"next_cursor":null}