English
Related papers

Related papers: Operational characterization of scattered MCFLs --…

200 papers

LLMs are routinely evaluated on language use, yet their explicit knowledge about linguistic structure remains poorly understood. Existing linguistic benchmarks focus on narrow phenomena, emphasize high-resource languages, and rarely test…

Computation and Language · Computer Science 2026-02-13 Tjaša Arčon , Matej Klemen , Marko Robnik-Šikonja , Kaja Dobrovoljc

We present new descriptive complexity characterisations of classes REG (regular languages), LCFL (linear context-free languages) and CFL (context-free languages) as restrictions on inference rules, size of formulae and permitted connectives…

Logic in Computer Science · Computer Science 2025-11-05 Yusaku Nishimiya , Masaya Taniguchi

The objective of this work is to investigate complementary features which can aid the quintessential Mel frequency cepstral coefficients (MFCCs) in the task of closed, limited set word recognition for non-native English speakers of…

Sound · Computer Science 2022-06-16 Pierre Berjon , Rajib Sharma , Avishek Nag , Soumyabrata Dev

The paper describes an extensive experiment in inside-outside estimation of a lexicalized probabilistic context free grammar for German verb-final clauses. Grammar and formalism features which make the experiment feasible are described.…

Computation and Language · Computer Science 2007-05-23 Franz Beil , Glenn Carroll , Detlef Prescher , Stefan Riezler , Mats Rooth

An LLM's residual stream is both state and instruction: it encodes the current context and determines the next transformation. We introduce a parameter-free decomposition for Mixture-of-Experts models that splits each layer's hidden state…

Artificial Intelligence · Computer Science 2026-04-21 Charles Ye , Bo Yuan , Lee Sharkey

The category of figurative language contains many varieties, some of which are non-compositional in nature. This type of phrase or multi-word expression (MWE) includes idioms, which represent a single meaning that does not consist of the…

Computation and Language · Computer Science 2026-03-25 Blake Matheny , Phuong Minh Nguyen , Minh Le Nguyen

This paper presents an extension of the GLL parsing algorithm for context-free grammars which also supports parsing expression grammars with ordered choice and lookahead. The new PEGLL algorithm retains support for unordered choice, and…

Formal Languages and Automata Theory · Computer Science 2022-08-29 Aaron Moss , Brynn Harrington , Emily Hoppe

Although pretrained language models (PLMs) can be prompted to perform a wide range of language tasks, it remains an open question how much this ability comes from generalizable linguistic understanding versus surface-level lexical patterns.…

Computation and Language · Computer Science 2023-05-23 Terra Blevins , Hila Gonen , Luke Zettlemoyer

Objective: Function is increasingly recognized as an important indicator of whole-person health. This study evaluates the ability of publicly available large language models (LLMs) to accurately identify the presence of functioning…

Computation and Language · Computer Science 2023-12-19 Tuan Dung Le , Thanh Duong , Thanh Thieu

We study expressivity of Markov logic networks (MLNs). We introduce complex MLNs, which use complex-valued weights, and we show that, unlike standard MLNs with real-valued weights, complex MLNs are fully expressive. We then observe that…

Artificial Intelligence · Computer Science 2020-07-17 Ondrej Kuzelka

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

Large language models (LLMs) have demonstrated remarkable performances on a wide range of natural language tasks. Yet, LLMs' successes have been largely restricted to tasks concerning words, sentences, or documents, and it remains…

Computation and Language · Computer Science 2024-07-24 Andrew Shin , Kunitake Kaneko

Character-level patterns have been widely used as features in English Named Entity Recognition (NER) systems. However, to date there has been no direct investigation of the inherent differences between name and non-name tokens in text, nor…

Computation and Language · Computer Science 2018-09-21 Xiaodong Yu , Stephen Mayhew , Mark Sammons , Dan Roth

Language models (LMs) show state of the art performance for common sense (CS) question answering, but whether this ability implies a human-level mastery of CS remains an open question. Understanding the limitations and strengths of LMs can…

Computation and Language · Computer Science 2022-01-21 Ehsan Qasemi , Lee Kezar , Jay Pujara , Pedro Szekely

We give a functorial characterization of Mittag-Leffler modules and strict Mittag-Leffler modules.

Commutative Algebra · Mathematics 2017-07-12 Carlos Sancho , Fernando Sancho , Pedro Sancho

To Rogers (1994) we owe the insight that monadic second order predicate logic with multiple successors (MSO) is well suited in many respects as a realistic formal base for syntactic theorizing. However, the agreeable formal properties of…

cmp-lg · Computer Science 2008-02-03 Uwe Moennich

We investigate the extent to which Linear Temporal Logic (LTL) formulas can be uniquely characterized by a finite set of labeled examples. We consider different types of examples, ranging from finite words to transfinite words, as well as…

Logic in Computer Science · Computer Science 2026-04-27 Balder ten Cate , Dana Fisman , Roi Ohayon , Patrik Sestic

Current distributed representations of words show little resemblance to theories of lexical semantics. The former are dense and uninterpretable, the latter largely based on familiar, discrete classes (e.g., supersenses) and relations (e.g.,…

Computation and Language · Computer Science 2015-06-08 Manaal Faruqui , Yulia Tsvetkov , Dani Yogatama , Chris Dyer , Noah Smith

Large Language Models (LLMs) are traditionally viewed as black-box algorithms, therefore reducing trustworthiness and obscuring potential approaches to increasing performance on downstream tasks. In this work, we apply an effective LLM…

Computation and Language · Computer Science 2025-07-10 Shun Wang , Tyler Loakman , Youbo Lei , Yi Liu , Bohao Yang , Yuting Zhao , Dong Yang , Chenghua Lin

Large language models (LLMs) like transformers demonstrate impressive in-context learning (ICL) capabilities, allowing them to make predictions for new tasks based on prompt exemplars without parameter updates. While existing ICL theories…

Machine Learning · Computer Science 2024-11-12 Kevin Christian Wibisono , Yixin Wang