Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces

5 April 2019

Papers citing "Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces"

24 / 24 papers shown

Title
$An $\mathbf{L^}$ Algorithm for Deterministic Weighted Regular Languages$ An $\mathbf{L^}$ Algorithm for Deterministic Weighted Regular Languages Clemente Pasti Talu Karagöz Anej Svete Franz Nowak Reda Boumasmoud Ryan Cotterell 47 0 0 09 Nov 2024
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination Takamasa Okudono Masaki Waga Taro Sekiyama I. Hasuo 27 0 0 13 Jul 2024
PDFA Distillation via String Probability Queries Robert Baumgartner S. Verwer 29 0 0 26 Jun 2024
Automata Extraction from Transformers Yihao Zhang Zeming Wei Meng Sun AI4CE 50 1 0 08 Jun 2024
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML 34 1 0 04 Jun 2024
On the Tractability of SHAP Explanations under Markovian Distributions Reda Marzouk C. D. L. Higuera FAtt 57 3 0 05 May 2024
Simulating Weighted Automata over Sequences and Trees with Transformers Michael Rizvi M. Lizaire Clara Lacroce Guillaume Rabusseau AI4CE 53 1 0 12 Mar 2024
DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction Pouria Golshanrad Fathiyeh Faghih 37 5 0 10 Feb 2024
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 51 15 0 31 Jul 2023
Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks Zeming Wei Xiyue Zhang Yihao Zhang Meng Sun 36 10 0 24 Jun 2023
DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction Zhijie Wang Yuheng Huang D. Song Lei Ma Tianyi Zhang HAI 70 6 0 02 Mar 2023
Verifying Generalization in Deep Learning Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 37 14 0 11 Feb 2023
When are Local Queries Useful for Robust Learning? Pascale Gourdeau Varun Kanade Marta Z. Kwiatkowska J. Worrell OOD 54 1 0 12 Oct 2022
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages Zeming Wei Xiyue Zhang Meng Sun 88 7 0 27 Jun 2022
Extracting Rules from Neural Networks with Partial Interpretations Cosimo Persia Ana Ozaki 37 2 0 01 Apr 2022
Extracting Weighted Automata for Approximate Minimization in Language Modelling Clara Lacroce Prakash Panangaden Guillaume Rabusseau 37 7 0 05 Jun 2021
A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces Iman Saberi Fathiyeh Faghih Farzad Sobhi Bavil 22 11 0 18 Jan 2021
Distillation of Weighted Automata from Recurrent Neural Networks using a Spectral Approach Rémi Eyraud Stéphane Ayache 31 16 0 28 Sep 2020
Property-Directed Verification of Recurrent Neural Networks I. Khmelnitsky Daniel Neider Rajarshi Roy Benoît Barbot B. Bollig Alain Finkel S. Haddad M. Leucker Lina Ye 13 5 0 22 Sep 2020
A Formal Language Approach to Explaining RNNs Bishwamittra Ghosh Daniel Neider 17 1 0 12 Jun 2020
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata Elena Gutiérrez Takamasa Okudono Masaki Waga I. Hasuo 29 0 0 11 Apr 2020
Distance and Equivalence between Finite State Machines and Recurrent Neural Networks: Computational results Reda Marzouk C. D. L. Higuera 18 7 0 01 Apr 2020
Learning Deterministic Weighted Automata with Queries and Counterexamples Gail Weiss Yoav Goldberg Eran Yahav TPM 40 45 0 30 Oct 2019
Approximating probabilistic models as weighted finite automata A. Suresh Brian Roark Michael Riley Vlad Schogol 31 11 0 21 May 2019