English
Related papers

Related papers: Regular Separability of Well Structured Transition…

200 papers

It is imperative to ensure the stability of every prediction made by a language model; that is, a language's prediction should remain consistent despite minor input variations, like word substitutions. In this paper, we investigate the…

Computation and Language · Computer Science 2024-06-06 Qian Lou , Xin Liang , Jiaqi Xue , Yancheng Zhang , Rui Xie , Mengxin Zheng

We propose a learning framework for graph kernels, which is theoretically grounded on regularizing optimal transport. This framework provides a novel optimal transport distance metric, namely Regularized Wasserstein (RW) discrepancy, which…

Machine Learning · Computer Science 2021-10-11 Asiri Wijesinghe , Qing Wang , Stephen Gould

We develop a theory of rewriting for structured cospans in order to extend compositional methods for modeling open networks. First, we introduce a category whose objects are structured cospans, and establish conditions under which it is…

Category Theory · Mathematics 2026-04-06 Daniel Cicala

Recent research has recognized interpretability and robustness as essential properties of trustworthy classification. Curiously, a connection between robustness and interpretability was empirically observed, but the theoretical reasoning…

Machine Learning · Computer Science 2021-02-16 Michal Moshkovitz , Yao-Yuan Yang , Kamalika Chaudhuri

The ability of semantic reasoning over the sentence pair is essential for many natural language understanding tasks, e.g., natural language inference and machine reading comprehension. A recent significant improvement in these tasks comes…

Computation and Language · Computer Science 2021-06-18 Weidi Xu , Xingyi Cheng , Kunlong Chen , Wei Wang , Bin Bi , Ming Yan , Chen Wu , Luo Si , Wei Chu , Taifeng Wang

Large language models (LLMs) must balance diversity and creativity against logical coherence in open-ended generation. Existing truncation-based samplers are effective but largely heuristic, relying mainly on probability mass and entropy…

Computation and Language · Computer Science 2026-05-15 Arash Gholami Davoodi , Navid Rezazadeh , Seyed Pouyan Mousavi Davoudi , Pouya Pezeshkpour

It is shown that for every language family that is a trio containing only semilinear languages, all bounded languages in it can be accepted by one-way deterministic reversal-bounded multicounter machines (DCM). This implies that for every…

Formal Languages and Automata Theory · Computer Science 2022-12-08 Arturo Carpi , Flavio D'Alessandro , Oscar H. Ibarra , Ian McQuillan

Cross-lingual timbre and style generalizable text-to-speech (TTS) aims to synthesize speech with a specific reference timbre or style that is never trained in the target language. It encounters the following challenges: 1) timbre and…

Audio and Speech Processing · Electrical Eng. & Systems 2023-06-28 Yahuan Cong , Haoyu Zhang , Haopeng Lin , Shichao Liu , Chunfeng Wang , Yi Ren , Xiang Yin , Zejun Ma

Recently, some studies linked the computational power of abstract computing systems based on multiset rewriting to models of Petri nets and the computation power of these nets to their topology. In turn, the computational power of these…

Formal Languages and Automata Theory · Computer Science 2009-07-30 Pierluigi Frisco , Oscar H. Ibarra

In IWOCA 2019, Ruangwises and Itoh introduced stable noncrossing matchings, where participants of each side are aligned on each of two parallel lines, and no two matching edges are allowed to cross each other. They defined two stability…

Data Structures and Algorithms · Computer Science 2020-06-29 Koki Hamada , Shuichi Miyazaki , Kazuya Okamoto

Common subword tokenization algorithms like BPE and UnigramLM assume that text can be split into meaningful units by concatenative measures alone. This is not true for languages such as Hebrew and Arabic, where morphology is encoded in…

Computation and Language · Computer Science 2025-06-04 Bar Gazit , Shaltiel Shmidman , Avi Shmidman , Yuval Pinter

Stuttering is a speech impediment affecting tens of millions of people on an everyday basis. Even with its commonality, there is minimal data and research on the identification and classification of stuttered speech. This paper tackles the…

Audio and Speech Processing · Electrical Eng. & Systems 2019-10-29 Tedd Kourkounakis , Amirhossein Hajavi , Ali Etemad

A mixed Steiner system MS$(t,k,Q)$ is a set (code) $C$ of words of weight $k$ over an alphabet $Q$, where not all coordinates of a word have the same alphabet size, each word of weight $t$, over $Q$, has distance $k-t$ from exactly one…

Combinatorics · Mathematics 2025-07-01 Tuvi Etzion

We study whether a Large Language Model can learn the deterministic sequence of trees generated by the iterated prime factorization of the natural numbers. Each integer is mapped into a rooted planar tree and the resulting sequence $…

Artificial Intelligence · Computer Science 2025-12-02 Alessandro Breccia , Federica Gerace , Marco Lippi , Gabriele Sicuro , Pierluigi Contucci

Recurrent neural networks are a widely used class of neural architectures. They have, however, two shortcomings. First, it is difficult to understand what exactly they learn. Second, they tend to work poorly on sequences requiring long-term…

Machine Learning · Computer Science 2019-05-08 Cheng Wang , Mathias Niepert

Obtaining syntactic parses is a crucial part of many NLP pipelines. However, most of the world's languages do not have large amounts of syntactically annotated corpora available for building parsers. Syntactic projection techniques attempt…

Computation and Language · Computer Science 2016-05-17 Ryan Georgi , Fei Xia , William D. Lewis

The Recurrent Neural Network-Transducer (RNN-T) is widely adopted in end-to-end (E2E) automatic speech recognition (ASR) tasks but depends heavily on large-scale, high-quality annotated data, which are often costly and difficult to obtain.…

Computation and Language · Computer Science 2025-11-07 Dongji Gao , Chenda Liao , Changliang Liu , Matthew Wiesner , Leibny Paola Garcia , Daniel Povey , Sanjeev Khudanpur , Jian Wu

The NP-complete Permutation Pattern Matching problem asks whether a permutation P (the pattern) can be matched into a permutation T (the text). A matching is an order-preserving embedding of P into T. In the Generalized Permutation Pattern…

Computational Complexity · Computer Science 2013-01-15 Marie-Louise Bruner , Martin Lackner

Petri net synthesis consists in deciding for a given transition system $A$ whether there exists a Petri net $N$ whose reachability graph is isomorphic to $A$. Several works examined the synthesis of Petri net subclasses that restrict, for…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Raymond Devillers , Ronny Tredup

Rich semantics inside an image result in its ambiguous relationship with others, i.e., two images could be similar in one condition but dissimilar in another. Given triplets like "aircraft" is similar to "bird" than "train", Weakly…

Computer Vision and Pattern Recognition · Computer Science 2022-04-11 Han-Jia Ye , Yi Shi , De-Chuan Zhan
‹ Prev 1 8 9 10 Next ›