Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1711.09576
Cited By
v1
v2
v3
v4 (latest)
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
27 November 2017
Gail Weiss
Yoav Goldberg
Eran Yahav
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples"
50 / 100 papers shown
Thinking Like Transformers
International Conference on Machine Learning (ICML), 2021
Gail Weiss
Yoav Goldberg
Eran Yahav
AI4CE
404
171
0
13 Jun 2021
Extracting Weighted Automata for Approximate Minimization in Language Modelling
International Conference on Graphics and Interaction (GI), 2021
Clara Lacroce
Prakash Panangaden
Guillaume Rabusseau
294
8
0
05 Jun 2021
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?
Ana Ozaki
119
37
0
02 Apr 2021
On the Complexity of Learning Description Logic Ontologies
Ana Ozaki
202
4
0
25 Mar 2021
Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version)
International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2021
D. Yellin
Gail Weiss
GNN
279
11
0
20 Jan 2021
A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces
ACM Transactions on Embedded Computing Systems (TECS), 2021
Iman Saberi
Fathiyeh Faghih
Farzad Sobhi Bavil
109
14
0
18 Jan 2021
Uncertainty Estimation and Calibration with Finite-State Probabilistic RNNs
International Conference on Learning Representations (ICLR), 2020
Cheng Wang
Carolin (Haas) Lawrence
Mathias Niepert
UQCV
175
10
0
24 Nov 2020
Connecting Weighted Automata, Tensor Networks and Recurrent Neural Networks through Spectral Learning
Machine-mediated learning (ML), 2020
Tianyu Li
Doina Precup
Guillaume Rabusseau
322
9
0
19 Oct 2020
Dissecting Span Identification Tasks with Performance Prediction
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2020
Sean Papay
Roman Klinger
Sebastian Padó
136
19
0
06 Oct 2020
How LSTM Encodes Syntax: Exploring Context Vectors and Semi-Quantization on Natural Text
International Conference on Computational Linguistics (COLING), 2020
Chihiro Shibata
Kei Uchiumi
D. Mochihashi
153
7
0
01 Oct 2020
Distillation of Weighted Automata from Recurrent Neural Networks using a Spectral Approach
Machine-mediated learning (ML), 2020
Rémi Eyraud
Stéphane Ayache
191
17
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
104
6
0
22 Sep 2020
On Computability, Learnability and Extractability of Finite State Machines from Recurrent Neural Networks
Reda Marzouk
175
2
0
10 Sep 2020
Learning Graph Structure With A Finite-State Automaton Layer
Neural Information Processing Systems (NeurIPS), 2020
Daniel D. Johnson
Hugo Larochelle
Daniel Tarlow
GNN
AI4CE
175
17
0
09 Jul 2020
A Formal Language Approach to Explaining RNNs
Bishwamittra Ghosh
Daniel Neider
146
1
0
12 Jun 2020
Re-understanding Finite-State Representations of Recurrent Policy Networks
Mohamad H. Danesh
Anurag Koul
Alan Fern
Saeed Khorram
193
23
0
06 Jun 2020
A provably stable neural network Turing Machine
J. Stogin
A. Mali
L. Giles
276
7
0
05 Jun 2020
Explainable Goal-Driven Agents and Robots -- A Comprehensive Review
ACM Computing Surveys (ACM CSUR), 2020
F. Sado
C. K. Loo
W. S. Liew
Matthias Kerzel
S. Wermter
455
70
0
21 Apr 2020
Overestimation of Syntactic Representationin Neural Language Models
Annual Meeting of the Association for Computational Linguistics (ACL), 2020
Jordan Kodner
Nitish Gupta
172
13
0
10 Apr 2020
Recognizing Long Grammatical Sequences Using Recurrent Networks Augmented With An External Differentiable Stack
International Conference on Graphics and Interaction (GI), 2020
A. Mali
Alexander Ororbia
Daniel Kifer
C. Lee Giles
210
14
0
04 Apr 2020
Distance and Equivalence between Finite State Machines and Recurrent Neural Networks: Computational results
Reda Marzouk
C. D. L. Higuera
187
8
0
01 Apr 2020
Knowledge extraction from the learning of sequences in a long short term memory (LSTM) architecture
Knowledge-Based Systems (KBS), 2019
Ikram Chraibi Kaadoud
N. Rougier
F. Alexandre
110
25
0
06 Dec 2019
Induction of Subgoal Automata for Reinforcement Learning
AAAI Conference on Artificial Intelligence (AAAI), 2019
Daniel Furelos-Blanco
Mark Law
A. Russo
Krysia Broda
Anders Jonsson
231
35
0
29 Nov 2019
Connecting First and Second Order Recurrent Networks with Deterministic Finite Automata
Qinglong Wang
Kaixuan Zhang
Xue Liu
C. Lee Giles
119
3
0
12 Nov 2019
A2: Extracting Cyclic Switchings from DOB-nets for Rejecting Excessive Disturbances
Wenjie Lu
Dikai Liu
88
0
0
01 Nov 2019
Learning Deterministic Weighted Automata with Queries and Counterexamples
Neural Information Processing Systems (NeurIPS), 2019
Gail Weiss
Yoav Goldberg
Eran Yahav
TPM
261
48
0
30 Oct 2019
Discovering the Compositional Structure of Vector Representations with Role Learning Networks
BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP (BlackBoxNLP), 2019
Paul Soulos
R. Thomas McCoy
Tal Linzen
P. Smolensky
CoGe
413
46
0
21 Oct 2019
Shapley Homology: Topological Analysis of Sample Influence for Neural Networks
Neural Computation (Neural Comput.), 2019
Kaixuan Zhang
Qinglong Wang
Xue Liu
C. Lee Giles
TDI
107
3
0
15 Oct 2019
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction
Guoliang Dong
Jingyi Wang
Jun Sun
Yang Zhang
Xinyu Wang
Ting Dai
J. Dong
Xingen Wang
FaML
154
3
0
22 Sep 2019
Compositionality decomposed: how do neural networks generalise?
Journal of Artificial Intelligence Research (JAIR), 2019
Dieuwke Hupkes
Verna Dankers
Mathijs Mul
Elia Bruni
CoGe
450
372
0
22 Aug 2019
Learning Causal State Representations of Partially Observable Environments
Amy Zhang
Zachary Chase Lipton
Luis Villaseñor-Pineda
Kamyar Azizzadenesheli
Anima Anandkumar
Laurent Itti
Joelle Pineau
Tommaso Furlanello
CML
266
58
0
25 Jun 2019
Approximating probabilistic models as weighted finite automata
International Conference on Computational Logic (ICCL), 2019
A. Suresh
Brian Roark
Michael Riley
Vlad Schogol
231
11
0
21 May 2019
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
Takamasa Okudono
Masaki Waga
Taro Sekiyama
I. Hasuo
334
41
0
05 Apr 2019
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks
International Conference on Learning Representations (ICLR), 2019
Joshua J. Michalenko
Ameesh Shah
Abhinav Verma
Richard G. Baraniuk
Swarat Chaudhuri
Ankit B. Patel
AI4CE
226
25
0
27 Feb 2019
Query Learning Algorithm for Residual Symbolic Finite Automata
Kaizaburo Chubachi
Diptarama Hendrian
Ryo Yoshinaka
A. Shinohara
56
3
0
20 Feb 2019
State-Regularized Recurrent Neural Networks
Cheng Wang
Mathias Niepert
171
42
0
25 Jan 2019
RNNs Implicitly Implement Tensor Product Representations
R. Thomas McCoy
Tal Linzen
Ewan Dunbar
P. Smolensky
134
58
0
20 Dec 2018
A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability
Xiaowei Huang
Daniel Kroening
Wenjie Ruan
Marta Kwiatkowska
Youcheng Sun
Emese Thamo
Min Wu
Xinping Yi
AAML
495
52
0
18 Dec 2018
DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems
Xiaoning Du
Xiaofei Xie
Yi Li
Lei Ma
Jianjun Zhao
Yang Liu
153
43
0
13 Dec 2018
Learning Finite State Representations of Recurrent Policy Networks
Anurag Koul
S. Greydanus
Alan Fern
168
91
0
29 Nov 2018
Verification of Recurrent Neural Networks Through Rule Extraction
Qinglong Wang
Kaixuan Zhang
Xue Liu
C. Lee Giles
AAML
147
21
0
14 Nov 2018
Counting in Language with RNNs
He Fun
Sergiy V. Bokhnyak
Francesco Saverio Zuppichini
119
0
0
29 Oct 2018
Explaining Black Boxes on Sequential Data using Weighted Automata
Stéphane Ayache
Rémi Eyraud
Noé Goudian
121
45
0
12 Oct 2018
Evaluating Syntactic Properties of Seq2seq Output with a Broad Coverage HPSG: A Case Study on Machine Translation
Johnny Tian-Zheng Wei
Khiem Pham
Brian Dillon
Brendan O'Connor
96
4
0
06 Sep 2018
Iterative Recursive Attention Model for Interpretable Sequence Classification
Martin Tutek
Jan Snajder
122
7
0
30 Aug 2018
Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262
Rick Salay
Krzysztof Czarnecki
222
72
0
05 Aug 2018
Connecting Weighted Automata and Recurrent Neural Networks through Spectral Learning
International Conference on Artificial Intelligence and Statistics (AISTATS), 2018
Guillaume Rabusseau
Tianyu Li
Doina Precup
312
44
0
04 Jul 2018
Learning Device Models with Recurrent Neural Networks
John Clemens
65
2
0
21 May 2018
Memorize or generalize? Searching for a compositional RNN in a haystack
Adam Liska
Germán Kruszewski
Marco Baroni
185
81
0
18 Feb 2018
A Comparative Study of Rule Extraction for Recurrent Neural Networks
Qinglong Wang
Kaixuan Zhang
Alexander Ororbia
Masashi Sugiyama
Xue Liu
C. Lee Giles
201
13
0
16 Jan 2018
Previous
1
2
Page 2 of 2
