English
Related papers

Related papers: Reductions for Transition Systems at Work: Derivin…

200 papers

Diffusion Multi-modal Large Language Models (dMLLMs) have recently emerged as a novel architecture unifying image generation and understanding. However, developing effective and efficient Test-Time Scaling (TTS) methods to unlock their full…

Computer Vision and Pattern Recognition · Computer Science 2026-04-09 Yi Xin , Siqi Luo , Tianxiang Xu , Qi Qin , Haoxing Chen , Kaiwen Zhu , Zhiwei Zhang , Yangfan He , Rongchao Zhang , Jinbin Bai , Shuo Cao , Bin Fu , Junjun He , Yihao Liu , Yuewen Cao , Xiaohong Liu

We describe the use of the theory of WSTS for verifying programs.

Logic in Computer Science · Computer Science 2020-08-10 Alain Finkel

Recent instruction-finetuned large language models (LMs) have achieved notable performances in various tasks, such as question-answering (QA). However, despite their ability to memorize a vast amount of general knowledge across diverse…

Computation and Language · Computer Science 2023-10-23 Soyeong Jeong , Jinheon Baek , Sukmin Cho , Sung Ju Hwang , Jong C. Park

Prompted weak supervision (PromptedWS) applies pre-trained large language models (LLMs) as the basis for labeling functions (LFs) in a weak supervision framework to obtain large labeled datasets. We further extend the use of LLMs in the…

Machine Learning · Computer Science 2024-02-06 Jinyan Su , Peilin Yu , Jieyu Zhang , Stephen H. Bach

Multivariate categorical data are routinely collected in many application areas. As the number of cells in the table grows exponentially with the number of variables, many or even most cells will contain zero observations. This severe…

Methodology · Statistics 2020-04-06 Emanuele Aliverti , David B. Dunson

Urban transportation systems encounter diverse challenges across multiple tasks, such as traffic forecasting, electric vehicle (EV) charging demand prediction, and taxi dispatch. Existing approaches suffer from two key limitations:…

Computation and Language · Computer Science 2025-08-21 Jiaming Leng , Yunying Bi , Chuan Qin , Bing Yin , Yanyong Zhang , Chao Wang

Meta-learning algorithms for active learning are emerging as a promising paradigm for learning the ``best'' active learning strategy. However, current learning-based active learning approaches still require sufficient training data so as to…

Machine Learning · Computer Science 2019-09-10 Jingyu Shao , Qing Wang , Fangbing Liu

Time series~(TS) modeling is essential in dynamic systems like weather prediction and anomaly detection. Recent studies utilize Large Language Models (LLMs) for TS modeling, leveraging their powerful pattern recognition capabilities. These…

Machine Learning · Computer Science 2024-10-23 Can Chen , Gabriel Oliveira , Hossein Sharifi Noghabi , Tristan Sylvain

This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different combinations of the optional features of such a system give rise to combinatorially…

Software Engineering · Computer Science 2018-04-05 Maurice H. ter Beek , Axel Legay , Alberto Lluch Lafuente , Andrea Vandin

Implicit sentiment analysis (ISA) presents significant challenges due to the absence of salient cue words. Previous methods have struggled with insufficient data and limited reasoning capabilities to infer underlying opinions. Integrating…

Computation and Language · Computer Science 2024-12-13 Wenna Lai , Haoran Xie , Guandong Xu , Qing Li

We present a weighted estimator of the covariance and correlation in bipartite complex systems with a double layer of heterogeneity. The advantage provided by the weighted estimators lies in the fact that the unweighted sample covariance…

Data Analysis, Statistics and Probability · Physics 2016-12-22 Elena Puccio , Jyrki Piilo , Michele Tumminello

Correlated time series (CTS) forecasting plays an essential role in many practical applications, such as traffic management and server load control. Many deep learning models have been proposed to improve the accuracy of CTS forecasting.…

Machine Learning · Computer Science 2023-02-28 Zhichen Lai , Dalin Zhang , Huan Li , Christian S. Jensen , Hua Lu , Yan Zhao

Educational policymakers often lack data on student outcomes where standardized tests were not administered. Machine learning can predict unobserved outcomes in target populations using source population data. However, covariate…

Weighted Finite State Transducers (WFSTs) are versatile data structures that can model a great number of problems, ranging from Automatic Speech Recognition to DNA sequencing. Traditional computer science algorithms are employed when…

Rings and Algebras · Mathematics 2018-11-05 Emmanouil Theodosis , Petros Maragos

Multi-level sentence simplification generates simplified sentences with varying language proficiency levels. We propose Label Confidence Weighted Learning (LCWL), a novel approach that incorporates a label confidence weighting scheme in the…

Computation and Language · Computer Science 2024-10-10 Xinying Qiu , Jingshen Zhang

Many complex systems satisfy a set of constraints on their degrees of freedom, and at the same time, they are able to work and adapt to different conditions. Here, we describe the emergence of this ability in a simplified model in which the…

Disordered Systems and Neural Networks · Physics 2007-05-23 Ginestra Bianconi , Roberto Mulet

Mixture models are flexible tools in density estimation and classification problems. Bayesian estimation of such models typically relies on sampling from the posterior distribution using Markov chain Monte Carlo. Label switching arises…

Applications · Statistics 2014-03-11 Wanchuang Zhu , Yanan Fan

When a two level system (TLS) is coupled to an electromagnetic resonator, its transition frequency changes in response to the quantum vacuum fluctuations of the electromagnetic field, a phenomenon known as the Lamb shift. Remarkably, by…

Quantum Physics · Physics 2018-11-08 Mario F. Gely , Gary A. Steele , Daniel Bothner

Type-1 and Interval Type-2 (IT2) Fuzzy Logic Systems (FLS) excel in handling uncertainty alongside their parsimonious rule-based structure. Yet, in learning large-scale data challenges arise, such as the curse of dimensionality and training…

Machine Learning · Computer Science 2024-04-22 Ata Koklu , Yusuf Guven , Tufan Kumbasar

In multi-task learning, difficulty levels of different tasks are varying. There are many works to handle this situation and we classify them into five categories, including the direct sum approach, the weighted sum approach, the maximum…

Machine Learning · Computer Science 2020-02-13 Sicong Liang , Yu Zhang