English
Related papers

Related papers: Relational transducers for declarative networking

200 papers

Finite (word) state transducers extend finite state automata by defining a binary relation over finite words, called rational relation. If the rational relation is the graph of a function, this function is said to be rational. The class of…

Formal Languages and Automata Theory · Computer Science 2025-04-25 Emmanuel Filiot , Ismaël Jecker , Khushraj Madnani , Saina Sunny

Natural language exhibits patterns of hierarchically governed dependencies, in which relations between words are sensitive to syntactic structure rather than linear ordering. While re-current network models often fail to generalize in a…

Computation and Language · Computer Science 2021-09-27 Jackson Petty , Robert Frank

Recombining known primitive concepts into larger novel combinations is a quintessentially human cognitive capability. Whether large neural models in NLP can acquire this ability while learning from data is an open question. In this paper,…

Computation and Language · Computer Science 2023-08-02 Josef Valvoda , Naomi Saphra , Jonathan Rawski , Adina Williams , Ryan Cotterell

We introduce the notion of a network's conduciveness, a probabilistically interpretable measure of how the network's structure allows it to be conducive to roaming agents, in certain conditions, from one portion of the network to another.…

Statistical Mechanics · Physics 2010-07-12 Valmir C. Barbosa

This paper investigates a representation language with flexibility inspired by probabilistic logic and compactness inspired by relational Bayesian networks. The goal is to handle propositional and first-order constructs together with…

Artificial Intelligence · Computer Science 2012-07-19 Fabio Gagliardi Cozman , Cassio Polpo de Campos , Jaime Ide , Jose Carlos Ferreira da Rocha

Rational relations are binary relations of finite words that are realised by non-deterministic finite state transducers (NFT). A particular kind of rational relations is the sequential functions. Sequential functions are the functions that…

Formal Languages and Automata Theory · Computer Science 2015-04-16 Ismaël Jecker , Emmanuel Filiot

We explore a new class of end-to-end learnable models wherein data processing nodes (or network layers) are defined in terms of desired behavior rather than an explicit forward function. Specifically, the forward function is implicitly…

Machine Learning · Computer Science 2021-08-20 Stephen Gould , Richard Hartley , Dylan Campbell

We propose an efficient distributed online learning protocol for low-latency real-time services. It extends a previously presented protocol to kernelized online learners that represent their models by a support vector expansion. While such…

Machine Learning · Computer Science 2019-12-02 Michael Kamp , Sebastian Bothe , Mario Boley , Michael Mock

The driving force behind deep networks is their ability to compactly represent rich classes of functions. The primary notion for formally reasoning about this phenomenon is expressive efficiency, which refers to a situation where one…

Machine Learning · Computer Science 2018-02-14 Nadav Cohen , Ronen Tamari , Amnon Shashua

We study succinctness as a measure of the expressive power of transformers. Succinctness -- how compactly a formalism can describe a language relative to other formalisms -- is a classical notion in logic and automata theory. We prove that…

Formal Languages and Automata Theory · Computer Science 2026-05-18 Pascal Bergsträßer , Ryan Cotterell , Anthony W. Lin

Diffusion language models, especially masked discrete diffusion models, have achieved great success recently. While there are some theoretical and primary empirical results showing the advantages of latent reasoning with looped transformers…

Artificial Intelligence · Computer Science 2026-05-13 Cai Zhou , Chenxiao Yang , Yi Hu , Chenyu Wang , Chubin Zhang , Muhan Zhang , Lester Mackey , Tommi Jaakkola , Stephen Bates , Dinghuai Zhang

We derive a monotonicity property for general, transient flows of a commodity transferred throughout a network, where the flow is characterized by density and mass flux dynamics on the edges with density continuity and mass balance…

Optimization and Control · Mathematics 2016-03-31 Anatoly Zlotnik , Sidhant Misra , Marc Vuffray , Michael Chertkov

Recently, strong results have been demonstrated by Deep Recurrent Neural Networks on natural language transduction problems. In this paper we explore the representational power of these models using synthetic grammars designed to exhibit…

Neural and Evolutionary Computing · Computer Science 2015-11-04 Edward Grefenstette , Karl Moritz Hermann , Mustafa Suleyman , Phil Blunsom

Comparing relational languages by their logical expressiveness is well understood. Less well understood is how to compare relational languages by their ability to represent relational query patterns. Indeed, what are query patterns other…

Databases · Computer Science 2024-01-11 Wolfgang Gatterbauer , Cody Dunne

This paper investigates the structure of linear operators introduced in Hernandez et al. [2023] that decode specific relational facts in transformer language models. We extend their single-relation findings to a collection of relations and…

Computation and Language · Computer Science 2025-10-31 Miranda Anna Christ , Adrián Csiszárik , Gergely Becsó , Dániel Varga

We present a formal operator-theoretic framework for analyzing Transformer-based language models using free probability theory. By modeling token embeddings and attention mechanisms as self-adjoint operators in a tracial \( W^*…

Machine Learning · Computer Science 2025-08-19 Swagatam Das

Many neural nets appear to represent data as linear combinations of "feature vectors." Algorithms for discovering these vectors have seen impressive recent success. However, we argue that this success is incomplete without an understanding…

Artificial Intelligence · Computer Science 2024-07-23 Martin Wattenberg , Fernanda B. Viégas

Networks are fundamental building blocks for representing data, and computations. Remarkable progress in learning in structurally defined (shallow or deep) networks has recently been achieved. Here we introduce evolutionary exploratory…

Neural and Evolutionary Computing · Computer Science 2019-11-05 Rise Ooi , Chao-Han Huck Yang , Pin-Yu Chen , Vìctor Eguìluz , Narsis Kiani , Hector Zenil , David Gomez-Cabrero , Jesper Tegnèr

Directed networks are essential for representing complex systems, capturing the asymmetry of interactions in fields such as neuroscience, transportation, and social networks. Directionality reveals how influence, information, or resources…

Disordered Systems and Neural Networks · Physics 2024-12-23 Marián Boguñá , M. Ángeles Serrano

The meaning of a sentence is a function of the relations that hold between its words. We instantiate this relational view of semantics in a series of neural models based on variants of relation networks (RNs) which represent a set of…

Computation and Language · Computer Science 2018-11-27 Lei Yu , Cyprien de Masson d'Autume , Chris Dyer , Phil Blunsom , Lingpeng Kong , Wang Ling