English
Related papers

Related papers: DeepDFA: Automata Learning through Neural Probabil…

200 papers

We introduce a dynamic neural algorithm called Dynamic Neural (DN) SARSA(\lambda) for learning a behavioral sequence from delayed reward. DN-SARSA(\lambda) combines Dynamic Field Theory models of behavioral sequence representation,…

Neural and Evolutionary Computing · Computer Science 2013-05-15 Sohrob Kazerounian , Matthew Luciw , Mathis Richter , Yulia Sandamirskaya

There were many algorithms to substitute the back-propagation (BP) in the deep neural network (DNN) training. However, they could not become popular because their training accuracy and the computational efficiency were worse than BP. One of…

Machine Learning · Computer Science 2019-01-09 Donghyeon Han , Hoi-jun Yoo

We introduce deterministic suffix-reading automata (DSA), a new automaton model over finite words. Transitions in a DSA are labeled with words. From a state, a DSA triggers an outgoing transition on seeing a word ending with the…

Formal Languages and Automata Theory · Computer Science 2026-05-13 R Keerthan , B Srivathsan , R Venkatesh , Sagar Verma

Finite automata (FA) are a fundamental computational abstraction that is widely used in practice for various tasks in computer science, linguistics, biology, electrical engineering, and artificial intelligence. Given an input word, an FA…

Artificial Intelligence · Computer Science 2026-04-22 Jaime Cuartas Granada , Alexey Ignatiev , Peter J. Stuckey

Differentiable Filters, as recursive Bayesian estimators, possess the ability to learn complex dynamics by deriving state transition and measurement models exclusively from data. This data-driven approach eliminates the reliance on explicit…

Robotics · Computer Science 2023-11-14 Xiao Liu , Yifan Zhou , Shuhei Ikemoto , Heni Ben Amor

In modern machine (ML) learning systems, Transformer-based architectures have achieved milestone success across a broad spectrum of tasks, yet understanding their operational mechanisms remains an open problem. To improve the transparency…

Machine Learning · Computer Science 2024-06-11 Yihao Zhang , Zeming Wei , Meng Sun

Neural Disjunctive Normal Form (DNF) based models are powerful and interpretable approaches to neuro-symbolic learning and have shown promising results in classification and reinforcement learning settings without prior knowledge of the…

Machine Learning · Computer Science 2025-08-04 Kexin Gu Baugh , Vincent Perreault , Matthew Baugh , Luke Dickens , Katsumi Inoue , Alessandra Russo

Sequence generation and prediction form a cornerstone of modern machine learning, with applications spanning natural language processing, program synthesis, and time-series forecasting. These tasks are typically modeled in an autoregressive…

Machine Learning · Computer Science 2025-11-05 Vincenzo Collura , Karim Tit , Laura Bussi , Eleonora Giunchiglia , Maxime Cordy

An efficient way to learn deep density models that have many layers of latent variables is to learn one layer at a time using a model that has only one layer of latent variables. After learning each layer, samples from the posterior…

Machine Learning · Computer Science 2012-06-22 Yichuan Tang , Ruslan Salakhutdinov , Geoffrey Hinton

Learning automata by queries is a long-studied area initiated by Angluin in 1987 with the introduction of the $L^*$ algorithm to learn regular languages, with a large body of work afterwards on many different variations and generalizations…

Formal Languages and Automata Theory · Computer Science 2024-09-18 Kevin Zhou

Linear discriminant analysis (LDA) is a popular tool for classification and dimension reduction. Limited by its linear form and the underlying Gaussian assumption, however, LDA is not applicable in situations where the data distribution is…

Machine Learning · Computer Science 2020-11-02 Yunqi Cai , Dong Wang

We theoretically analyze the Feedback Alignment (FA) algorithm, an efficient alternative to backpropagation for training neural networks. We provide convergence guarantees with rates for deep linear networks for both continuous and discrete…

Machine Learning · Computer Science 2021-10-22 Manuela Girotti , Ioannis Mitliagkas , Gauthier Gidel

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

We explore the possibility of exact algorithmic learning with gradient-based methods and introduce a differentiable framework capable of strong length generalization on arithmetic tasks. Our approach centers on Differentiable Finite-State…

Machine Learning · Computer Science 2025-12-01 Hristo Papazov , Francesco D'Angelo , Nicolas Flammarion

Although deep learning and end-to-end models have been widely used and shown superiority in automatic speech recognition (ASR) and text-to-speech (TTS) synthesis, state-of-the-art forced alignment (FA) models are still based on hidden…

Sound · Computer Science 2022-04-01 Jingbei Li , Yi Meng , Zhiyong Wu , Helen Meng , Qiao Tian , Yuping Wang , Yuxuan Wang

With the growing popularity of deep-learning models, model understanding becomes more important. Much effort has been devoted to demystify deep neural networks for better interpretability. Some feature attribution methods have shown…

Computation and Language · Computer Science 2022-04-27 Sheng Zhang , Jin Wang , Haitao Jiang , Rui Song

Deep Feedback Models (DFMs) are a new class of stateful neural networks that combine bottom up input with high level representations over time. This feedback mechanism introduces dynamics into otherwise static architectures, enabling DFMs…

Computer Vision and Pattern Recognition · Computer Science 2025-09-22 David Calhas , Arlindo L. Oliveira

Deep neural networks (DNNs) have achieved remarkable success across diverse domains, but their performance can be severely degraded by noisy or corrupted training data. Conventional noise mitigation methods often rely on explicit…

Machine Learning · Computer Science 2025-06-16 Deliang Jin , Gang Chen , Shuo Feng , Yufeng Ling , Haoran Zhu

Complementation of finite automata is a basic operation used in numerous applications. The standard way to complement a nondeterministic finite automaton (NFA) is to transform it into an equivalent deterministic finite automaton (DFA) and…

Formal Languages and Automata Theory · Computer Science 2025-07-16 Lukáš Holík , Ondřej Lengál , Juraj Major , Adéla Štěpková , Jan Strejček

Traditional deformable registration techniques achieve impressive results and offer a rigorous theoretical treatment, but are computationally intensive since they solve an optimization problem for each image pair. Recently, learning-based…

Computer Vision and Pattern Recognition · Computer Science 2019-03-15 Adrian V. Dalca , Guha Balakrishnan , John Guttag , Mert R. Sabuncu