English
Related papers

Related papers: Extracting Finite Automata from RNNs Using State M…

200 papers

In order to learn complex grammars, recurrent neural networks (RNNs) require sufficient computational resources to ensure correct grammar recognition. A widely-used approach to expand model capacity would be to couple an RNN to an external…

Neural and Evolutionary Computing · Computer Science 2019-09-23 Ankur Mali , Alexander Ororbia , C. Lee Giles

We present an algorithm for extracting a subclass of the context free grammars (CFGs) from a trained recurrent neural network (RNN). We develop a new framework, pattern rule sets (PRSs), which describe sequences of deterministic finite…

Formal Languages and Automata Theory · Computer Science 2021-03-30 Daniel M. Yellin , Gail Weiss

The interpretability of deep learning models has raised extended attention these years. It will be beneficial if we can learn an interpretable structure from deep learning models. In this paper, we focus on Recurrent Neural Networks~(RNNs)…

Neural and Evolutionary Computing · Computer Science 2020-01-15 Bo-Jian Hou , Zhi-Hua Zhou

Understanding how a learned black box works is of crucial interest for the future of Machine Learning. In this paper, we pioneer the question of the global interpretability of learned black box models that assign numerical values to…

Machine Learning · Computer Science 2018-10-16 Stephane Ayache , Remi Eyraud , Noe Goudian

The need of interpreting Deep Learning (DL) models has led, during the past years, to a proliferation of works concerned by this issue. Among strategies which aim at shedding some light on how information is represented internally in DL…

Machine Learning · Computer Science 2020-04-02 Reda Marzouk , Colin de la Higuera

Recurrent Neural Networks (RNNs) have been widely used in Natural Language Processing (NLP) tasks given its superior performance on processing sequential data. However, it is challenging to interpret and debug RNNs due to the inherent…

Human-Computer Interaction · Computer Science 2023-03-06 Zhijie Wang , Yuheng Huang , Da Song , Lei Ma , Tianyi Zhang

The ability to interpret machine learning models has become increasingly important now that machine learning is used to inform consequential decisions. We propose an approach called model extraction for interpreting complex, blackbox…

Machine Learning · Computer Science 2018-03-14 Osbert Bastani , Carolyn Kim , Hamsa Bastani

State machines are popular models to model and visualize discrete systems such as software systems, and to represent regular grammars. Most algorithms that passively learn state machines from data assume all the data to be available from…

Formal Languages and Automata Theory · Computer Science 2022-07-05 Robert Baumgartner , Sicco Verwer

Recurrent Neural Networks (RNNs) have achieved remarkable performance on a range of tasks. A key step to further empowering RNN-based approaches is improving their explainability and interpretability. In this work we present MEME: a model…

Machine Learning · Computer Science 2021-04-15 Dmitry Kazhdan , Botty Dimanov , Mateja Jamnik , Pietro Liò

Fuelled by the popularity of the transformer architecture in deep learning, several works have investigated what formal languages a transformer can learn from data. Nonetheless, existing results remain hard to compare due to methodological…

Machine Learning · Computer Science 2025-09-30 Rik Adriaensen , Jaron Maene

Model learning has gained increasing interest in recent years. It derives behavioural models from test data of black-box systems. The main advantage offered by such techniques is that they enable model-based analysis without access to the…

Software Engineering · Computer Science 2019-02-18 Martin Tappler , Bernhard K. Aichernig , Kim Guldstrand Larsen , Florian Lorber

Recurrent Neural Networks (RNNs) have been shown to capture various aspects of syntax from raw linguistic input. In most previous experiments, however, learning happens over unrealistic corpora, which do not reflect the type and amount of…

Computation and Language · Computer Science 2024-11-12 Ludovica Pannitto , Aurélie Herbelot

In this work, we introduce DeepDFA, a novel approach to identifying Deterministic Finite Automata (DFAs) from traces, harnessing a differentiable yet discrete model. Inspired by both the probabilistic relaxation of DFAs and Recurrent Neural…

Machine Learning · Computer Science 2024-08-19 Elena Umili , Roberto Capobianco

Although deep learning models have proven effective at solving problems in natural language processing, the mechanism by which they come to their conclusions is often unclear. As a result, these models are generally treated as black boxes,…

Computation and Language · Computer Science 2017-02-28 W. James Murdoch , Arthur Szlam

B\"uchi automata (BAs) recognize $\omega$-regular languages defined by formal specifications like linear temporal logic (LTL) and are commonly used in the verification of reactive systems. However, BAs face scalability challenges when…

Machine Learning · Computer Science 2025-09-03 Charles Pert , Dalal Alrajeh , Alessandra Russo

Recurrent Neural Networks (RNN) have obtained excellent result in many natural language processing (NLP) tasks. However, understanding and interpreting the source of this success remains a challenge. In this paper, we propose Recurrent…

Computation and Language · Computer Science 2016-04-25 Ke Tran , Arianna Bisazza , Christof Monz

Grammar induction is the task of learning a grammar from a set of examples. Recently, neural networks have been shown to be powerful learning machines that can identify patterns in streams of data. In this work we investigate their…

Computation and Language · Computer Science 2018-06-27 Mor Cohen , Avi Caciularu , Idan Rejwan , Jonathan Berant

Introduction: Machine learning provides fundamental tools both for scientific research and for the development of technologies with significant impact on society. It provides methods that facilitate the discovery of regularities in data and…

Machine Learning · Computer Science 2019-03-12 Andrea Ceni , Peter Ashwin , Lorenzo Livi

Reservoir computers (RCs) and recurrent neural networks (RNNs) can mimic any finite-state automaton in theory, and some workers demonstrated that this can hold in practice. We test the capability of generalized linear models, RCs, and Long…

Machine Learning · Computer Science 2019-10-18 S. E. Marzen , J. P. Crutchfield

In machine learning, it is very important for a robot to be able to estimate dynamics from sequences of input data. This problem can be solved using a recurrent neural network. In this paper, we will discuss the preprocessing of 10 states…

Robotics · Computer Science 2019-05-03 Kyle Mott