English
Related papers

Related papers: Complete Abstractions for Checking Language Inclus…

200 papers

This paper focuses on the noiseless complete dictionary learning problem, where the goal is to represent a set of given signals as linear combinations of a small number of atoms from a learned dictionary. There are two main challenges faced…

Machine Learning · Computer Science 2025-03-06 Geyu Liang , Gavin Zhang , Salar Fattahi , Richard Y. Zhang

An atom of a regular language L with n (left) quotients is a non-empty intersection of uncomplemented or complemented quotients of L, where each of the n quotients appears in a term of the intersection. The quotient complexity of L, which…

Formal Languages and Automata Theory · Computer Science 2012-03-09 Janusz Brzozowski , Hellis Tamm

Large language models (LLMs) are increasingly deployed in settings where the available context is incomplete or degraded. We argue that an LLM generating answers under incomplete context can be viewed as an implicit imputer, and evaluated…

Machine Learning · Statistics 2026-05-14 Stef van Buuren

Large language models (LLMs) achieve impressive results on advanced mathematics benchmarks but sometimes fail on basic arithmetic tasks, raising the question of whether they have truly grasped fundamental arithmetic rules or are merely…

Computation and Language · Computer Science 2025-09-18 Yang Yan , Yu Lu , Renjun Xu , Zhenzhong Lan

At its core, abstraction is the process of generalizing from specific instances to broader concepts or models, with the primary objective of reducing complexity while preserving properties essential to the intended purpose. It is…

Logic in Computer Science · Computer Science 2026-01-06 Andrzej Szalas

Word Sense Disambiguation (WSD) aims to automatically identify the exact meaning of one word according to its context. Existing supervised models struggle to make correct predictions on rare word senses due to limited training data and can…

Computation and Language · Computer Science 2021-10-28 Wenlin Yao , Xiaoman Pan , Lifeng Jin , Jianshu Chen , Dian Yu , Dong Yu

Cross-Lingual Word Embeddings (CLWEs) encode words from two or more languages in a shared high-dimensional space in which vectors representing words with similar meaning (regardless of language) are closely located. Existing methods for…

Computation and Language · Computer Science 2022-01-25 Xutan Peng , Chenghua Lin , Mark Stevenson

Search-augmented large language models (LLMs) excel at knowledge-intensive tasks by integrating external retrieval. However, they often over-search -- unnecessarily invoking search tool even when it does not improve response quality, which…

Machine Learning · Computer Science 2026-03-12 Roy Xie , Deepak Gopinath , David Qiu , Dong Lin , Haitian Sun , Saloni Potdar , Bhuwan Dhingra

Large language models (LLMs) can exhibit biases in reasoning capabilities due to linguistic modality, performing better on tasks in one language versus another, even with similar content. Most previous works evaluate this through reasoning…

Computation and Language · Computer Science 2025-10-17 César Guerra-Solano , Zhuochun Li , Xiang Lorraine Li

This paper describes the architecture and systems built towards solving the SemEval 2023 Task 2: MultiCoNER II (Multilingual Complex Named Entity Recognition) [1]. We evaluate two approaches (a) a traditional Conditional Random Fields model…

Computation and Language · Computer Science 2024-01-02 Kiran Voderhobli Holla , Chaithanya Kumar , Aryan Singh

Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages $L$ that assign to each word $w$ a real number $L(w)$. In the case of infinite words, the value of a run is…

Logic in Computer Science · Computer Science 2009-05-15 Krishnendu Chatterjee , Laurent Doyen , Thomas A. Henzinger

A language L is prefix-closed if, whenever a word w is in L, then every prefix of w is also in L. We define suffix-, factor-, and subword-closed languages in the same way, where by subword we mean subsequence. We study the quotient…

Formal Languages and Automata Theory · Computer Science 2015-05-14 J. Brzozowski , G. Jirásková , C. Zou

We study various complexity properties of suffix-free regular languages. The quotient complexity of a regular language $L$ is the number of left quotients of $L$; this is the same as the state complexity of $L$. A regular language $L'$ is a…

Formal Languages and Automata Theory · Computer Science 2016-12-13 Janusz Brzozowski , Marek Szykuła

We consider algorithms and lower bounds for various problems over forest languages; as input models we allow forest algebras, deterministic forest automata and nondeterministic forest automata. For the equivalence problem, we give an…

Formal Languages and Automata Theory · Computer Science 2021-06-07 Marcial Gaißert , Manfred Kufleitner

The rapid advancement of large language models (LLMs) has led to a significant increase in automated tools in the software engineering, capable of performing various code-related tasks such as code generation, completion, and translation.…

Software Engineering · Computer Science 2026-02-26 Madhusudan Ghosh , Rishabh Gupta

In this paper, an approach for concept extraction from documents using pre-trained large language models (LLMs) is presented. Compared with conventional methods that extract keyphrases summarizing the important information discussed in a…

Computation and Language · Computer Science 2025-04-23 Ebrahim Norouzi , Sven Hertling , Harald Sack

In this project, we test the effectiveness of Large Language Models (LLMs) on the Abstraction and Reasoning Corpus (ARC) dataset. This dataset serves as a representative benchmark for testing abstract reasoning abilities, requiring a…

Artificial Intelligence · Computer Science 2024-07-30 Liane Galanti , Ethan Baron

**Context** Context-free grammars are widely used for language prototyping and implementation. They allow formalizing the syntax of domain-specific or general-purpose programming languages concisely and declaratively. However, the natural…

Programming Languages · Computer Science 2018-03-28 Luís Eduardo de Souza Amorim , Michael J. Steindorfer , Eelco Visser

We introduce a weakly supervised approach for inferring the property of abstractness of words and expressions in the complete absence of labeled data. Exploiting only minimal linguistic clues and the contextual usage of a concept as…

Computation and Language · Computer Science 2018-09-06 Ella Rabinovich , Benjamin Sznajder , Artem Spector , Ilya Shnayderman , Ranit Aharonov , David Konopnicki , Noam Slonim

Cross-lingual word embeddings aim to bridge the gap between high-resource and low-resource languages by allowing to learn multilingual word representations even without using any direct bilingual signal. The lion's share of the methods are…

Computation and Language · Computer Science 2020-09-03 Magdalena Biesialska , Marta R. Costa-jussà