English
Related papers

Related papers: Safe Language Generation in the Limit

200 papers

Aligning language models (LMs) with user intent is becoming increasingly relevant to enhance user experience. This calls for designing methods that can allow users to control the properties of the language that LMs generate, for example,…

Computation and Language · Computer Science 2025-09-23 Vinay Samuel , Harshita Diddee , Yiming Zhang , Daphne Ippolito

We present basic notions of Gold's "learnability in the limit" paradigm, first presented in 1967, a formalization of the cognitive process by which a native speaker gets to grasp the underlying grammar of his/her own native language by…

Machine Learning · Computer Science 2009-09-29 Roberto Bonato

We prove that all standard subregular language classes are linearly separable when represented by their deciding predicates. This establishes finite observability and guarantees learnability with simple linear models. Synthetic experiments…

Computation and Language · Computer Science 2026-03-16 Katsuhiko Hayashi , Hidetaka Kamigaito

A common standpoint when designing the syntax of programming languages is that the grammar definition has to be unambiguous. However, requiring up front unambiguous grammars can force language designers to make more or less arbitrary…

Formal Languages and Automata Theory · Computer Science 2020-02-05 Viktor Palmkvist , Elias Castegren , Philipp Haller , David Broman

Chomsky and others have very directly claimed that large language models (LLMs) are equally capable of learning languages that are possible and impossible for humans to learn. However, there is very little published experimental evidence to…

Computation and Language · Computer Science 2024-08-06 Julie Kallini , Isabel Papadimitriou , Richard Futrell , Kyle Mahowald , Christopher Potts

We propose TuringAdvice, a new challenge task and dataset for language understanding models. Given a written situation that a real person is currently facing, a model must generate helpful advice in natural language. Our evaluation…

Computation and Language · Computer Science 2021-04-14 Rowan Zellers , Ari Holtzman , Elizabeth Clark , Lianhui Qin , Ali Farhadi , Yejin Choi

This study presents a new approach to metaphorical paraphrase generation by masking literal tokens of literal sentences and unmasking them with metaphorical language models. Unlike similar studies, the proposed algorithm does not only focus…

Computation and Language · Computer Science 2022-10-14 Giorgio Ottolina , John Pavlopoulos

Standard decoding strategies for text generation, including top-k, nucleus sampling, and contrastive search, select tokens based on likelihood, restricting selection to high-probability regions. Human language production operates…

Computation and Language · Computer Science 2026-03-20 Esteban Garces Arias , Nurzhan Sapargali , Christian Heumann , Matthias Aßenmacher

In recent years, considerable research has been dedicated to the application of neural models in the field of natural language generation (NLG). The primary objective is to generate text that is both linguistically natural and human-like,…

Computation and Language · Computer Science 2023-06-13 Chen Tang , Frank Guerin , Chenghua Lin

Recent language models generate false but plausible-sounding text with surprising frequency. Such "hallucinations" are an obstacle to the usability of language-based AI systems and can harm people who rely upon their outputs. This work…

Computation and Language · Computer Science 2024-03-21 Adam Tauman Kalai , Santosh S. Vempala

Is automated hallucination detection possible? In this work, we introduce a theoretical framework to analyze the feasibility of automatically detecting hallucinations produced by large language models (LLMs). Inspired by the classical…

Machine Learning · Computer Science 2025-06-03 Amin Karbasi , Omar Montasser , John Sous , Grigoris Velegkas

Generative Artificial Intelligence has grown exponentially as a result of Large Language Models (LLMs). This has been possible because of the impressive performance of deep learning methods created within the field of Natural Language…

We study the question of whether a given regular language of finite trees can be defined in first-order logic. We develop an algebraic approach to address this question and we use it to derive several necessary and sufficient conditions for…

Formal Languages and Automata Theory · Computer Science 2024-07-02 Achim Blumensath

In this article we show how the problem of neural text generation can be constructively reformulated in terms of transitions between the states of a finite-state machine. This framework leads to an efficient approach to guiding text…

Computation and Language · Computer Science 2023-08-22 Brandon T. Willard , Rémi Louf

Neural controllable text generation is an important area gaining attention due to its plethora of applications. Although there is a large body of prior work in controllable text generation, there is no unifying theme. In this work, we…

Computation and Language · Computer Science 2020-11-03 Shrimai Prabhumoye , Alan W Black , Ruslan Salakhutdinov

Trustworthiness of generative language models (GLMs) is crucial in their deployment to critical decision making systems. Hence, certified risk control methods such as selective prediction and conformal prediction have been applied to…

Machine Learning · Computer Science 2025-01-28 Minjae Lee , Kyungmin Kim , Taesoo Kim , Sangdon Park

It has always been an important yet challenging problem to control language models to avoid generating texts with undesirable attributes, such as toxic language and unnatural repetition. We introduce Click for controllable text generation,…

Computation and Language · Computer Science 2023-06-07 Chujie Zheng , Pei Ke , Zheng Zhang , Minlie Huang

Large Transformer-based language models can aid human authors by suggesting plausible continuations of text written so far. However, current interactive writing assistants do not allow authors to guide text generation in desired topical…

Computation and Language · Computer Science 2021-03-30 Haw-Shiuan Chang , Jiaming Yuan , Mohit Iyyer , Andrew McCallum

Specifying all desirable properties of a language model is challenging, but certain requirements seem essential. Given samples from an unknown language, the trained model should produce valid strings not seen in training and be expressive…

Machine Learning · Computer Science 2025-10-16 Alkis Kalavasis , Anay Mehrotra , Grigoris Velegkas

Partial-label learning (PLL) is a multi-class classification problem, where each training example is associated with a set of candidate labels. Even though many practical PLL methods have been proposed in the last two decades, there lacks a…

Machine Learning · Computer Science 2020-10-26 Lei Feng , Jiaqi Lv , Bo Han , Miao Xu , Gang Niu , Xin Geng , Bo An , Masashi Sugiyama