English
Related papers

Related papers: On Union-Closedness of Language Generation

200 papers

Kleinberg and Mullainathan (2024) recently proposed a formal framework called language generation in the limit and showed that given a sequence of example strings from an unknown target language drawn from any countable collection, an…

Data Structures and Algorithms · Computer Science 2026-02-09 Yannan Bai , Debmalya Panigrahi , Ian Zhang

The recent work of Kleinberg & Mullainathan [KM24] provides a concrete model for language generation in the limit: given a sequence of examples from an unknown target language, the goal is to generate new examples from the target language…

Data Structures and Algorithms · Computer Science 2024-12-25 Moses Charikar , Chirag Pabbaraju

We study generation through the lens of statistical learning theory. First, we abstract and formalize the results of Gold [1967], Angluin [1979], Angluin [1980] and Kleinberg and Mullainathan [2024] in terms of a binary hypothesis class…

Machine Learning · Computer Science 2024-12-30 Jiaxun Li , Vinod Raman , Ambuj Tewari

We introduce "representative generation," extending the theoretical framework for generation proposed by Kleinberg et al. (2024) and formalized by Li et al. (2024), to additionally address diversity and bias concerns in generative models.…

Computation and Language · Computer Science 2025-05-29 Charlotte Peale , Vinod Raman , Omer Reingold

Kleinberg and Mullainathan showed that language generation in the limit is always possible at the level of computability: given enough positive examples, a learner can eventually generate data indistinguishable from a target language.…

Computation and Language · Computer Science 2026-01-30 Marcelo Arenas , Pablo Barceló , Luis Cofré , Alexander Kozachinskiy

Kleinberg and Mullainathan recently proposed a formal framework for studying the phenomenon of language generation, called language generation in the limit. In this model, an adversary gives an enumeration of example strings from an unknown…

Data Structures and Algorithms · Computer Science 2026-01-30 Aaron Li , Ian Zhang

We study language generation in the limit, where an algorithm observes an adversarial enumeration of strings from an unknown target language $K$ and must eventually generate new, unseen strings from $K$. Kleinberg and Mullainathan [KM24]…

Machine Learning · Statistics 2025-11-11 Anay Mehrotra , Grigoris Velegkas , Xifan Yu , Felix Zhou

Kleinberg and Mullainathan (2024) recently proposed an interesting model for language generation in the limit: Given a countable collection of languages, and an adversary enumerating the strings of some language $L$ from the collection, the…

Data Structures and Algorithms · Computer Science 2025-10-06 Moses Charikar , Chirag Pabbaraju

We study language generation in the limit under bounded memory. In this task, a learner observes examples from an unknown target language one at a time and must eventually output only new valid examples. Prior work assumes access to the…

Data Structures and Algorithms · Computer Science 2026-05-29 Jon Kleinberg , Anay Mehrotra , Amin Saberi , Grigoris Velegkas

We study language generation in the limit - introduced by Kleinberg and Mullainathan [KM24] - building on classical works of Gold [Gol67] and Angluin [Ang79]. [KM24]'s main result is an algorithm for generating from any countable language…

Machine Learning · Computer Science 2025-07-04 Alkis Kalavasis , Anay Mehrotra , Grigoris Velegkas

We study generation in separable metric instance spaces. We extend the language generation framework from Kleinberg and Mullainathan [2024] beyond countable domains by defining novelty through metric separation and allowing asymmetric…

Machine Learning · Statistics 2026-02-10 Jiaxun Li , Vinod Raman , Ambuj Tewari

We continue to study the learning-theoretic foundations of generation by extending the results from Kleinberg and Mullainathan [2024] and Li et al. [2024] to account for noisy example streams. In the noiseless setting of Kleinberg and…

Machine Learning · Statistics 2025-06-11 Ananth Raman , Vinod Raman

We investigate the learning task of language generation in the limit, but shift focus from the traditional time-of-last-mistake metric of a generator's success to a new notion of "mistake-bounded generation." While existing results for…

Machine Learning · Computer Science 2026-05-12 Jon Kleinberg , Charlotte Peale , Omer Reingold

The success of large language models (LLMs) has motivated formal theories of language generation and learning. We study the framework of \emph{language generation in the limit}, where an adversary enumerates strings from an unknown language…

Data Structures and Algorithms · Computer Science 2025-11-10 Jon Kleinberg , Fan Wei

Sequential Constraint Grammar (SCG) (Karlsson, 1990) and its extensions have lacked clear connections to formal language theory. The purpose of this article is to lay a foundation for these connections by simplifying the definition of…

Formal Languages and Automata Theory · Computer Science 2017-07-18 Anssi Yli-Jyrä

Although current large language models are complex, the most basic specifications of the underlying language generation problem itself are simple to state: given a finite set of training samples from an unknown language, produce valid new…

Data Structures and Algorithms · Computer Science 2024-04-11 Jon Kleinberg , Sendhil Mullainathan

Recent results in learning a language in the limit have shown that, although language identification is impossible, language generation is tractable. As this foundational area expands, we need to consider the implications of language…

Computation and Language · Computer Science 2026-01-14 Antonios Anastasopoulos , Giuseppe Ateniese , Evgenios M. Kornaropoulos

The recent successes of large language models (LLMs) have led to a surge of theoretical research into language generation. A recent line of work proposes an abstract view, called language generation in the limit, where generation is seen as…

Combinatorics · Mathematics 2025-04-22 Jon Kleinberg , Fan Wei

Circular splicing systems are a formal model of a generative mechanism of circular words, inspired by a recombinant behaviour of circular DNA. Some unanswered questions are related to the computational power of such systems, and finding a…

Formal Languages and Automata Theory · Computer Science 2009-11-13 Paola Bonizzoni , Clelia De Felice , Rosalba Zizza

The article continues the study of the genus of regular languages that the authors introduced in a 2012 paper. Generalizing a previous result, we produce a new family of regular languages on a two-letter alphabet having arbitrary high…

Formal Languages and Automata Theory · Computer Science 2019-11-15 Guillaume Bonfante , Florian Deloup
‹ Prev 1 2 3 10 Next ›