English
Related papers

Related papers: Generalising unit-refutation completeness and SLUR…

200 papers

Intent Classification (IC) and Slot Labeling (SL) models, which form the basis of dialogue systems, often encounter noisy data in real-word environments. In this work, we investigate how robust IC/SL models are to noisy data. We collect and…

Computation and Language · Computer Science 2021-11-03 Sailik Sengupta , Jason Krone , Saab Mansour

Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SAT solvers often contain redundant literals. This may have a negative impact on performance because redundant literals may deteriorate both the effectiveness of Boolean…

Artificial Intelligence · Computer Science 2018-07-31 Chu-Min Li , Fan Xiao , Mao Luo , Felip Manyà , Zhipeng Lü , Yu Li

Neural networks exhibit severe brittleness to semantically irrelevant transformations. A mere 75ms electrocardiogram (ECG) phase shift degrades latent cosine similarity from 1.0 to 0.2, while sensor rotations collapse activity recognition…

Machine Learning · Computer Science 2025-11-20 Zhengyang Shen , Hua Tu , Mayue Shi

Spoken Language Understanding (SLU) converts hypotheses from automatic speech recognizer (ASR) into structured semantic representations. ASR recognition errors can severely degenerate the performance of the subsequent SLU module. To address…

Computation and Language · Computer Science 2020-09-09 Chen Liu , Su Zhu , Zijian Zhao , Ruisheng Cao , Lu Chen , Kai Yu

Power systems Unit Commitment (UC) problem determines the generator commitment schedule and dispatch decisions to realize the reliable and economic operation of power networks. The growing penetration of stochastic renewables and demand…

Systems and Control · Electrical Eng. & Systems 2025-07-15 Xuan He , Yuxin Pan , Yize Chen , Danny H. K. Tsang

Time-series analysis plays a pivotal role across a range of critical applications, from finance to healthcare, which involves various tasks, such as forecasting and classification. To handle the inherent complexities of time-series data,…

Machine Learning · Computer Science 2024-05-20 Jiawei Li , Jingshu Peng , Haoyang Li , Lei Chen

Clustering is one of the most important unsupervised problems in machine learning and statistics. Among many existing algorithms, kernel k-means has drawn much research attention due to its ability to find non-linear cluster boundaries and…

Machine Learning · Statistics 2016-12-05 Bowei Yan , Purnamrita Sarkar

Transformers generalize to novel compositions of structures and entities after being trained on a complex dataset, but easily overfit on datasets of insufficient complexity. We observe that when the training set is sufficiently complex, the…

Computation and Language · Computer Science 2024-02-12 Yichen Jiang , Xiang Zhou , Mohit Bansal

This paper focuses on the problem of unsupervised relation extraction. Existing probabilistic generative model-based relation extraction methods work by extracting sentence features and using these features as inputs to train a generative…

Computation and Language · Computer Science 2020-09-29 Chenhan Yuan , Ryan Rossi , Andrew Katz , Hoda Eldardiry

Recent advances in reinforcement learning from human feedback (RLHF) and preference optimization have substantially improved the usability, coherence, and safety of large language models. However, recurring behaviors such as performative…

Artificial Intelligence · Computer Science 2026-05-13 William Parris

In-context learning (ICL) performance depends critically on which demonstrations are placed in the prompt, yet most existing selectors prioritize heuristic notions of relevance or diversity and provide limited insight into the coverage of a…

Machine Learning · Computer Science 2026-04-15 Jiayi Xin , Xiang Li , Evan Qiang , Weiqing He , Tianqi Shang , Weijie J. Su , Qi Long

We embed Safe Recursion on Notation (SRN) into Light Affine Logic by Levels (LALL), derived from the logic L4. LALL is an intuitionistic deductive system, with a polynomial time cut elimination strategy. The embedding allows to represent…

Logic in Computer Science · Computer Science 2010-05-20 Luca Roversi , Luca Vercelli

Sound Source Localization (SSL) involves estimating the Direction of Arrival (DOA) of sound sources. Since the DOA estimation output space is continuous, regression might be more suitable for DOA, offering higher precision. However, in…

Audio and Speech Processing · Electrical Eng. & Systems 2024-01-30 Linfeng Feng , Xiao-Lei Zhang , Xuelong Li

Partial label learning (PLL) is a typical weakly supervised learning problem in which each instance is associated with a candidate label set, and among which only one is true. However, the assumption that the ground-truth label is always…

Artificial Intelligence · Computer Science 2023-08-30 Yu Shi , Ning Xu , Hua Yuan , Xin Geng

The task of semantic role labeling (SRL) is dedicated to finding the predicate-argument structure. Previous works on SRL are mostly supervised and do not consider the difficulty in labeling each example which can be very expensive and…

Computation and Language · Computer Science 2021-04-20 Kashif Munir , Hai Zhao , Zuchao Li

To take unit commitment (UC) decisions under uncertain net load, most studies utilize a stochastic UC (SUC) model that adopts a one-size-fits-all representation of uncertainty. Disregarding contextual information such as weather forecasts…

Optimization and Control · Mathematics 2022-12-01 Ogun Yurdakul , Feng Qiu , Sahin Albayrak

Structure-inducing Language Models (SiLM) are trained on a self-supervised language modeling task, and induce a hierarchical sentence representation as a byproduct when processing an input. SiLMs couple strong syntactic generalization…

Computation and Language · Computer Science 2025-12-09 David Arps , Hassan Sajjad , Laura Kallmeyer

Let $R$ be a finite commutative ring with identity and $U(R)$ be its group of units. In 2005, El-Kassar and Chehade presented a ring structure for $U(R)$ and as a consequence they generalized this group of units to the generalized group of…

Group Theory · Mathematics 2021-01-05 Therrar Kadri , Mohammad El-Hindi

Transformers have demonstrated strong potential in offline reinforcement learning (RL) by modeling trajectories as sequences of return-to-go, states, and actions. However, existing approaches such as the Decision Transformer(DT) and its…

Machine Learning · Computer Science 2025-10-27 Zhuojing Tian , Yushu Chen

Dimensionality reduction, cluster analysis, and sparse representation are basic components in machine learning. However, their relationships have not yet been fully investigated. In this paper, we find that the spectral graph theory…

Computer Vision and Pattern Recognition · Computer Science 2017-05-22 Zhenfang Hu , Gang Pan , Yueming Wang , Zhaohui Wu