Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples

27 November 2017

Papers citing "Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples"

31 / 31 papers shown

Title
Training Neural Networks as Recognizers of Formal Languages Alexandra Butoi Ghazal Khalighinejad Anej Svete Josef Valvoda Ryan Cotterell Brian DuSell NAI 44 2 0 11 Nov 2024
Analyzing constrained LLM through PDFA-learning Matías Carrasco Franz Mayr S. Yovine Johny Kidd Martín Iturbide Juan da Silva Alejo Garat 31 0 0 12 Jun 2024
Automata Extraction from Transformers Yihao Zhang Zeming Wei Meng Sun AI4CE 45 1 0 08 Jun 2024
State-Regularized Recurrent Neural Networks to Extract Automata and Explain Predictions Cheng Wang Carolin (Haas) Lawrence Mathias Niepert 21 3 0 10 Dec 2022
Verifying And Interpreting Neural Networks using Finite Automata Marco Sälzer Eric Alsmann Florian Bruse M. Lange AAML 30 3 0 02 Nov 2022
When are Local Queries Useful for Robust Learning? Pascale Gourdeau Varun Kanade Marta Z. Kwiatkowska J. Worrell OOD 40 1 0 12 Oct 2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 50 11 0 11 Oct 2022
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise I. Khmelnitsky S. Haddad Lina Ye Benoît Barbot B. Bollig M. Leucker Daniel Neider Rajarshi Roy 18 1 0 21 Sep 2022
SoK: Explainable Machine Learning for Computer Security Applications A. Nadeem D. Vos Clinton Cao Luca Pajola Simon Dieck Robert Baumgartner S. Verwer 34 40 0 22 Aug 2022
Extracting Rules from Neural Networks with Partial Interpretations Cosimo Persia Ana Ozaki 16 2 0 01 Apr 2022
Extracting Finite Automata from RNNs Using State Merging William Merrill Nikolaos Tsilivis 22 14 0 28 Jan 2022
Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval Uri Alon Frank F. Xu Junxian He Sudipta Sengupta Dan Roth Graham Neubig RALM 77 63 0 28 Jan 2022
Minimum Description Length Recurrent Neural Networks Nur Lan Michal Geyer Emmanuel Chemla Roni Katzir 24 13 0 31 Oct 2021
Thinking Like Transformers Gail Weiss Yoav Goldberg Eran Yahav AI4CE 35 128 0 13 Jun 2021
A Passive Online Technique for Learning Hybrid Automata from Input/Output Traces Iman Saberi Fathiyeh Faghih Farzad Sobhi Bavil 17 11 0 18 Jan 2021
Uncertainty Estimation and Calibration with Finite-State Probabilistic RNNs Cheng Wang Carolin (Haas) Lawrence Mathias Niepert UQCV 29 10 0 24 Nov 2020
How LSTM Encodes Syntax: Exploring Context Vectors and Semi-Quantization on Natural Text Chihiro Shibata Kei Uchiumi D. Mochihashi 22 7 0 01 Oct 2020
Distillation of Weighted Automata from Recurrent Neural Networks using a Spectral Approach Rémi Eyraud Stéphane Ayache 24 16 0 28 Sep 2020
Re-understanding Finite-State Representations of Recurrent Policy Networks Mohamad H. Danesh Anurag Koul Alan Fern Saeed Khorram 31 21 0 06 Jun 2020
Learning Deterministic Weighted Automata with Queries and Counterexamples Gail Weiss Yoav Goldberg Eran Yahav TPM 26 45 0 30 Oct 2019
Discovering the Compositional Structure of Vector Representations with Role Learning Networks Paul Soulos R. Thomas McCoy Tal Linzen P. Smolensky CoGe 29 43 0 21 Oct 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 45 49 0 25 Jun 2019
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces Takamasa Okudono Masaki Waga Taro Sekiyama I. Hasuo 13 37 0 05 Apr 2019
RNNs Implicitly Implement Tensor Product Representations R. Thomas McCoy Tal Linzen Ewan Dunbar P. Smolensky 49 54 0 20 Dec 2018
Learning Finite State Representations of Recurrent Policy Networks Anurag Koul S. Greydanus Alan Fern 19 88 0 29 Nov 2018
Verification of Recurrent Neural Networks Through Rule Extraction Qinglong Wang Kaixuan Zhang Xue Liu C. Lee Giles AAML 28 18 0 14 Nov 2018
Counting in Language with RNNs He Fun Sergiy V. Bokhnyak Francesco Saverio Zuppichini 20 0 0 29 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 33 4 0 06 Sep 2018
Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262 Rick Salay Krzysztof Czarnecki 25 69 0 05 Aug 2018
Connecting Weighted Automata and Recurrent Neural Networks through Spectral Learning Guillaume Rabusseau Tianyu Li Doina Precup 34 41 0 04 Jul 2018
A Comparative Study of Rule Extraction for Recurrent Neural Networks Qinglong Wang Kaixuan Zhang Alexander Ororbia Masashi Sugiyama Xue Liu C. Lee Giles 21 11 0 16 Jan 2018