English
Related papers

Related papers: Simulating Weighted Automata over Sequences and Tr…

200 papers

Chain-of-thought (CoT) significantly enhances the performance of large language models (LLMs) across a wide range of tasks, and prior research shows that CoT can theoretically increase expressiveness. However, there is limited mechanistic…

Computation and Language · Computer Science 2025-06-04 Yifan Zhang , Wenyu Du , Dongming Jin , Jie Fu , Zhi Jin

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

Originally proposed for handling time series data, Auto-regressive Decision Trees (ARDTs) have not yet been explored for language modeling. This paper delves into both the theoretical and practical applications of ARDTs in this new context.…

Computation and Language · Computer Science 2024-10-01 Yulu Gan , Tomer Galanti , Tomaso Poggio , Eran Malach

When trained on language data, do transformers learn some arbitrary computation that utilizes the full capacity of the architecture or do they learn a simpler, tree-like computation, hypothesized to underlie compositional meaning systems…

Computation and Language · Computer Science 2022-11-07 Shikhar Murty , Pratyusha Sharma , Jacob Andreas , Christopher D. Manning

In recent years, large pretrained models have been used in dialogue systems to improve successful task completion rates. However, lack of reasoning capabilities of dialogue platforms make it difficult to provide relevant and fluent…

Computation and Language · Computer Science 2022-02-10 Sajjad Beygi , Maryam Fazel-Zarandi , Alessandra Cervone , Prakash Krishnan , Siddhartha Reddy Jonnalagadda

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

Weighted Finite State Transducers (WFSTs) are versatile data structures that can model a great number of problems, ranging from Automatic Speech Recognition to DNA sequencing. Traditional computer science algorithms are employed when…

Rings and Algebras · Mathematics 2018-11-05 Emmanouil Theodosis , Petros Maragos

Multiset automata are a class of automata for which the symbols can be read in any order and obtain the same result. We investigate weighted multiset automata and show how to construct them from weighted regular expressions. We present…

Formal Languages and Automata Theory · Computer Science 2018-06-12 Justin DeBenedetto , David Chiang

Researchers have relegated natural language processing tasks to Transformer-type models, particularly generative models, because these models exhibit high versatility when performing generation and classification tasks. As the size of these…

Computation and Language · Computer Science 2025-04-04 Fabio Yáñez-Romero , Andrés Montoyo , Armando Suárez , Yoan Gutiérrez , Ruslan Mitkov

In this paper, we present connections between three models used in different research fields: weighted finite automata~(WFA) from formal languages and linguistics, recurrent neural networks used in machine learning, and tensor networks…

Machine Learning · Computer Science 2022-01-10 Tianyu Li , Doina Precup , Guillaume Rabusseau

Transformers demonstrate impressive performance on a range of reasoning benchmarks. To evaluate the degree to which these abilities are a result of actual reasoning, existing work has focused on developing sophisticated benchmarks for…

Machine Learning · Computer Science 2024-07-02 Jannik Brinkmann , Abhay Sheshadri , Victor Levoso , Paul Swoboda , Christian Bartelt

Transformers have demonstrated remarkable capabilities in multi-step reasoning tasks. However, understandings of the underlying mechanisms by which they acquire these abilities through training remain limited, particularly from a…

Machine Learning · Computer Science 2025-12-09 Tong Yang , Yu Huang , Yingbin Liang , Yuejie Chi

Text normalization (TN) systems in production are largely rule-based using weighted finite-state transducers (WFST). However, WFST-based systems struggle with ambiguous input when the normalized form is context-dependent. On the other hand,…

Computation and Language · Computer Science 2022-03-31 Evelina Bakhturina , Yang Zhang , Boris Ginsburg

Studying language models (LMs) in terms of well-understood formalisms allows us to precisely characterize their abilities and limitations. Previous work has investigated the representational capacity of recurrent neural network (RNN) LMs in…

Computation and Language · Computer Science 2023-12-20 Anej Svete , Ryan Cotterell

We show that weighted automata over the field of two elements can be exponentially more compact than non-deterministic finite state automata. To show this, we combine ideas from automata theory and communication complexity. However,…

Formal Languages and Automata Theory · Computer Science 2021-04-26 Artem Kaznatcheev , Prakash Panangaden

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

We propose a query learning algorithm for residual symbolic finite automata (RSFAs). Symbolic finite automata (SFAs) are finite automata whose transitions are labeled by predicates over a Boolean algebra, in which a big collection of…

Formal Languages and Automata Theory · Computer Science 2019-09-18 Kaizaburo Chubachi , Diptarama Hendrian , Ryo Yoshinaka , Ayumi Shinohara

The recent successes and spread of large neural language models (LMs) call for a thorough understanding of their computational ability. Describing their computational abilities through LMs' \emph{representational capacity} is a lively area…

Computation and Language · Computer Science 2024-06-19 Anej Svete , Franz Nowak , Anisha Mohamed Sahabdeen , Ryan Cotterell

Nested weighted automata (NWA) present a robust and convenient automata-theoretic formalism for quantitative specifications. Previous works have considered NWA that processed input words only in the forward direction. It is natural to allow…

Formal Languages and Automata Theory · Computer Science 2017-06-27 Krishnendu Chatterjee , Thomas A. Henzinger , Jan Otop

We present a general framework based on weighted finite automata and weighted finite-state transducers for describing and implementing speech recognizers. The framework allows us to represent uniformly the information sources and data…

cmp-lg · Computer Science 2008-02-03 Fernando C. N. Pereira , Michael D. Riley