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
Extracting Robust Register Automata from Neural Networks over Data Sequences
Chih-Duo Hong
Hongjian Jiang
A. W. Lin
Oliver Markgraf
Julian Parsert
Tony Tan
AAML
156
0
0
24 Nov 2025
On the Statistical Query Complexity of Learning Semiautomata: a Random Walk Approach
George Giapitzakis
Kimon Fountoulakis
Eshaan Nichani
Jason D. Lee
AAML
110
1
0
05 Oct 2025
Symbolic Feedforward Networks for Probabilistic Finite Automata: Exact Simulation and Learnability
Sahil Rajesh Dhayalkar
AI4CE
155
0
0
12 Sep 2025
RNN Generalization to Omega-Regular Languages
Charles Pert
Dalal Alrajeh
Alessandra Russo
AI4CE
127
0
0
02 Sep 2025
Algorithm Development in Neural Networks: Insights from the Streaming Parity Task
Loek van Rossem
Andrew M. Saxe
193
0
0
14 Jul 2025
ReGA: Representation-Guided Abstraction for Model-based Safeguarding of LLMs
Zeming Wei
Chengcan Wu
Meng Sun
216
3
0
02 Jun 2025
A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks
Sahil Rajesh Dhayalkar
230
0
0
30 May 2025
Training Neural Networks as Recognizers of Formal Languages
International Conference on Learning Representations (ICLR), 2024
Alexandra Butoi
Ghazal Khalighinejad
Anej Svete
Josef Valvoda
Robert Bamler
Brian DuSell
NAI
520
16
0
11 Nov 2024
An
L
∗
\mathbf{L^*}
L
∗
Algorithm for Deterministic Weighted Regular Languages
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2024
Clemente Pasti
Talu Karagöz
Anej Svete
Franz Nowak
Reda Boumasmoud
Robert Bamler
237
0
0
09 Nov 2024
Causal Abstraction in Model Interpretability: A Compact Survey
Yihao Zhang
227
0
0
26 Oct 2024
Extracting Moore Machines from Transformers using Queries and Counterexamples
International Symposium on Intelligent Data Analysis (IDA), 2024
Rik Adriaensen
Jaron Maene
AI4CE
273
1
0
08 Oct 2024
Precision, Stability, and Generalization: A Comprehensive Assessment of RNNs learnability capability for Classifying Counter and Dyck Languages
Neisarg Dave
Daniel Kifer
L. Giles
A. Mali
245
0
0
04 Oct 2024
DeepDFA: Automata Learning through Neural Probabilistic Relaxations
European Conference on Artificial Intelligence (ECAI), 2024
Elena Umili
Roberto Capobianco
AI4CE
193
5
0
16 Aug 2024
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination
Takamasa Okudono
Masaki Waga
Taro Sekiyama
I. Hasuo
180
0
0
13 Jul 2024
Analyzing constrained LLM through PDFA-learning
Matías Carrasco
Franz Mayr
S. Yovine
Johny Kidd
Martín Iturbide
Juan da Silva
Alejo Garat
183
0
0
12 Jun 2024
Automata Extraction from Transformers
Yihao Zhang
Zeming Wei
Meng Sun
AI4CE
401
1
0
08 Jun 2024
Learning Useful Representations of Recurrent Neural Network Weight Matrices
International Conference on Machine Learning (ICML), 2024
Vincent Herrmann
Francesco Faccio
Jürgen Schmidhuber
320
10
0
18 Mar 2024
Simulating Weighted Automata over Sequences and Trees with Transformers
International Conference on Artificial Intelligence and Statistics (AISTATS), 2024
Michael Rizvi
M. Lizaire
Clara Lacroce
Guillaume Rabusseau
AI4CE
207
3
0
12 Mar 2024
DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction
Journal of Systems and Software (JSS), 2024
Pouria Golshanrad
Fathiyeh Faghih
167
8
0
10 Feb 2024
L
∗
L
M
L^*LM
L
∗
L
M
: Learning Automata from Examples using Natural Language Oracles
Marcell Vazquez-Chanlatte
Karim Elmaaroufi
Stefan J. Witwicki
Matei A. Zaharia
Sanjit A. Seshia
316
4
0
10 Feb 2024
Stability Analysis of Various Symbolic Rule Extraction Methods from Recurrent Neural Network
Neisarg Dave
Daniel Kifer
C. Lee Giles
A. Mali
155
3
0
04 Feb 2024
Detecting Hidden Triggers: Mapping Non-Markov Reward Functions to Markov
European Conference on Artificial Intelligence (ECAI), 2024
Gregory Hyde
Eugene Santos
211
4
0
20 Jan 2024
Interpretability Illusions in the Generalization of Simplified Models
Dan Friedman
Andrew Kyle Lampinen
Lucas Dixon
Danqi Chen
Asma Ghandeharioun
358
19
0
06 Dec 2023
Learning Deterministic Finite Automata from Confidence Oracles
Wilson Wu
63
1
0
18 Nov 2023
Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023
Kazuki Irie
Róbert Csordás
Jürgen Schmidhuber
281
22
0
24 Oct 2023
LUNA: A Model-Based Universal Analysis Framework for Large Language Models
IEEE Transactions on Software Engineering (TSE), 2023
Da Song
Xuan Xie
Yuheng Huang
Derui Zhu
Yuheng Huang
Felix Juefei Xu
Lei Ma
ALM
350
9
0
22 Oct 2023
On the Computational Complexity and Formal Hierarchy of Second Order Recurrent Neural Networks
A. Mali
Alexander Ororbia
Daniel Kifer
L. Giles
158
8
0
26 Sep 2023
Latent State Models of Training Dynamics
Michael Y. Hu
Angelica Chen
Naomi Saphra
Dong Wang
351
16
0
18 Aug 2023
Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks
Zeming Wei
Xiyue Zhang
Yihao Zhang
Meng Sun
211
14
0
24 Jun 2023
Learning Transformer Programs
Neural Information Processing Systems (NeurIPS), 2023
Dan Friedman
Alexander Wettig
Danqi Chen
291
47
0
01 Jun 2023
MLRegTest: A Benchmark for the Machine Learning of Regular Languages
Sam van der Poel
D. Lambert
Kalina Kostyszyn
Tiantian Gao
Rahul Verma
...
Emily Peterson
C. S. Clair
Paul Fodor
Chihiro Shibata
Jeffrey Heinz
ELM
245
9
0
16 Apr 2023
DeepSeer: Interactive RNN Explanation and Debugging via State Abstraction
International Conference on Human Factors in Computing Systems (CHI), 2023
Zhijie Wang
Yuheng Huang
Basel Alomair
Lei Ma
Tianyi Zhang
HAI
202
8
0
02 Mar 2023
State-Regularized Recurrent Neural Networks to Extract Automata and Explain Predictions
IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2022
Cheng Wang
Carolin (Haas) Lawrence
Mathias Niepert
215
3
0
10 Dec 2022
Verifying And Interpreting Neural Networks using Finite Automata
International Conference on Developments in Language Theory (DLT), 2022
Marco Sälzer
Eric Alsmann
Florian Bruse
M. Lange
AAML
314
4
0
02 Nov 2022
When are Local Queries Useful for Robust Learning?
Neural Information Processing Systems (NeurIPS), 2022
Pascale Gourdeau
Varun Kanade
Marta Z. Kwiatkowska
J. Worrell
OOD
367
1
0
12 Oct 2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
IEEE Transactions on robotics (TRO), 2022
Xiaowu Sun
Yasser Shoukry
167
14
0
11 Oct 2022
ImmunoLingo: Linguistics-based formalization of the antibody language
Nature Computational Science (Nat. Comput. Sci.), 2022
Mai Ha Vu
Philippe A. Robert
Rahmad Akbar
B. Swiatczak
G. K. Sandve
Dag Trygve Tryslew Haug
Victor Greiff
AI4CE
418
9
0
26 Sep 2022
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
International Symposium on Games, Automata, Logics and Formal Verification (GANDALF), 2022
I. Khmelnitsky
S. Haddad
Lina Ye
Benoît Barbot
B. Bollig
M. Leucker
Daniel Neider
Rajarshi Roy
76
2
0
21 Sep 2022
Learning Interpretable Temporal Properties from Positive Examples Only
AAAI Conference on Artificial Intelligence (AAAI), 2022
Rajarshi Roy
Jean-Raphael Gaglione
Nasim Baharisangari
Daniel Neider
Zhe Xu
Ufuk Topcu
AI4TS
AI4CE
157
20
0
06 Sep 2022
SoK: Explainable Machine Learning for Computer Security Applications
European Symposium on Security and Privacy (Euro S&P), 2022
A. Nadeem
D. Vos
Clinton Cao
Luca Pajola
Simon Dieck
Robert Baumgartner
S. Verwer
365
63
0
22 Aug 2022
Linguistically inspired roadmap for building biologically reliable protein language models
Nature Machine Intelligence (Nat. Mach. Intell.), 2022
Mai Ha Vu
Rahmad Akbar
Philippe A. Robert
B. Swiatczak
Victor Greiff
G. K. Sandve
Dag Trygve Tryslew Haug
288
45
0
03 Jul 2022
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages
IEEE International Conference on Formal Engineering Methods (ICFEM), 2022
Zeming Wei
Xiyue Zhang
Meng Sun
283
11
0
27 Jun 2022
Square One Bias in NLP: Towards a Multi-Dimensional Exploration of the Research Manifold
Findings (Findings), 2022
Sebastian Ruder
Ivan Vulić
Anders Søgaard
182
37
0
20 Jun 2022
Extracting Rules from Neural Networks with Partial Interpretations
Cosimo Persia
Ana Ozaki
144
3
0
01 Apr 2022
FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata
S. Verwer
Christian A. Hammerschmidt
AI4CE
282
8
0
28 Mar 2022
Understanding Robust Generalization in Learning Regular Languages
International Conference on Machine Learning (ICML), 2022
Soham Dan
Osbert Bastani
Dan Roth
OOD
192
5
0
20 Feb 2022
Extracting Finite Automata from RNNs Using State Merging
William Merrill
Nikolaos Tsilivis
269
19
0
28 Jan 2022
Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval
International Conference on Machine Learning (ICML), 2022
Uri Alon
Frank F. Xu
Junxian He
Sudipta Sengupta
Dan Roth
Graham Neubig
RALM
285
75
0
28 Jan 2022
Minimum Description Length Recurrent Neural Networks
Transactions of the Association for Computational Linguistics (TACL), 2021
Nur Lan
Michal Geyer
Emmanuel Chemla
Roni Katzir
495
15
0
31 Oct 2021
Inferring Probabilistic Reward Machines from Non-Markovian Reward Processes for Reinforcement Learning
International Conference on Automated Planning and Scheduling (ICAPS), 2021
Taylor Dohmen
Noah Topper
George Atia
Andre Beckus
Ashutosh Trivedi
Alvaro Velasquez
182
18
0
09 Jul 2021
1
2
Next
