English
Related papers

Related papers: SharpSAT-TD in Model Counting Competitions 2021-20…

200 papers

Tensor train (TT) decomposition has drawn people's attention due to its powerful representation ability and performance stability in high-order tensors. In this paper, we propose a novel approach to recover the missing entries of incomplete…

Numerical Analysis · Computer Science 2018-12-03 Longhao Yuan , Qibin Zhao , Lihua Gui , Jianting Cao

Long-term time series forecasting using transformers is hampered by the quadratic complexity of self-attention and the rigidity of uniform patching, which may be misaligned with the data's semantic structure. In this paper, we introduce the…

Machine Learning · Computer Science 2026-01-05 Maximilian Reinwardt , Michael Eichelbeck , Matthias Althoff

This paper introduces an extended tensor decomposition (XTD) method for model reduction. The proposed method is based on a sparse non-separated enrichment to the conventional tensor decomposition, which is expected to improve the…

Numerical Analysis · Mathematics 2023-11-07 Ye Lu , Satyajit Mojumder , Jiachen Guo , Yangfan Li , Wing Kam Liu

Speculative Decoding (SD) accelerates inference in large language models by using a smaller draft model to propose tokens, which are then verified by a larger target model. However, the throughput gains of SD are fundamentally limited by a…

Computation and Language · Computer Science 2025-10-16 Sanghyun Byun , Mohanad Odema , Jung Ick Guack , Baisub Lee , Jacob Song , Woo Seong Chung

Continual learning on edge devices poses unique challenges due to stringent resource constraints. This paper introduces a novel method that leverages stochastic competition principles to promote sparsity, significantly reducing deep network…

Machine Learning · Computer Science 2024-07-16 Theodoros Christophides , Kyriakos Tolias , Sotirios Chatzis

Structured text extraction is one of the most valuable and challenging application directions in the field of Document AI. However, the scenarios of past benchmarks are limited, and the corresponding evaluation protocols usually focus on…

Due to the stochasticity of human behaviors, predicting the future trajectories of road agents is challenging for autonomous driving. Recently, goal-based multi-trajectory prediction methods are proved to be effective, where they first…

Computer Vision and Pattern Recognition · Computer Science 2021-11-25 Junru Gu , Chen Sun , Hang Zhao

In this paper, we present a new approach for model acceleration by exploiting spatial sparsity in visual data. We observe that the final prediction in vision Transformers is only based on a subset of the most informative tokens, which is…

Computer Vision and Pattern Recognition · Computer Science 2023-06-05 Yongming Rao , Zuyan Liu , Wenliang Zhao , Jie Zhou , Jiwen Lu

In this paper we propose novel methods for compression and recovery of multilinear data under limited sampling. We exploit the recently proposed tensor- Singular Value Decomposition (t-SVD)[1], which is a group theoretic framework for…

Information Theory · Computer Science 2013-11-01 Zemin Zhang , Gregory Ely , Shuchin Aeron , Ning Hao , Misha Kilmer

The growing demands of distributed learning on resource constrained edge devices underscore the importance of efficient on device model compression. Tensor Train Decomposition (TTD) offers high compression ratios with minimal accuracy loss,…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-19 Hyunseok Kwak , Kyeongwon Lee , Kyeongpil Min , Chaebin Jung , Woojoo Lee

The so-called block-term decomposition (BTD) tensor model, especially in its rank-$(L_r,L_r,1)$ version, has been recently receiving increasing attention due to its enhanced ability of representing systems and signals that are composed of…

Numerical Analysis · Mathematics 2021-06-30 Athanasios A. Rontogiannis , Eleftherios Kofidis , Paris V. Giampouras

Advances in traffic forecasting technology can greatly impact urban mobility. In the traffic4cast competition, the task of short-term traffic prediction is tackled in unprecedented detail, with traffic volume and speed information available…

Computer Vision and Pattern Recognition · Computer Science 2021-10-28 Nina Wiedemann , Martin Raubal

Tensor train (TT) decomposition, a powerful tool for analyzing multidimensional data, exhibits superior performance in many machine learning tasks. However, existing methods for TT decomposition either suffer from noise overfitting, or…

Signal Processing · Electrical Eng. & Systems 2023-06-27 Le Xu , Lei Cheng , Ngai Wong , Yik-Chung Wu

Shifts Challenge: Robustness and Uncertainty under Real-World Distributional Shift is a competition held by NeurIPS 2021. The objective of this competition is to search for methods to solve the motion prediction problem in cross-domain. In…

Computer Vision and Pattern Recognition · Computer Science 2022-01-19 Ching-Yu Tseng , Po-Shao Lin , Yu-Jia Liou , Kuan-Chih Huang , Winston H. Hsu

In this paper, we present our champion solution to the Global Artificial Intelligence Technology Innovation Competition Track 1: Medical Imaging Diagnosis Report Generation. We select CPT-BASE as our base model for the text generation task.…

Computation and Language · Computer Science 2024-07-08 Xiangyu Wu , Hailiang Zhang , Yang Yang , Jianfeng Lu

Due to effective pattern mining and feature representation, neural forecasting models based on deep learning have achieved great progress. The premise of effective learning is to collect sufficient data. However, in time series forecasting,…

Machine Learning · Computer Science 2023-07-04 Yan Gao , Yan Wang , Qiang Wang

Over the past few years, we have witnessed remarkable advancements in Code Pre-trained Models (CodePTMs). These models achieved excellent representation capabilities by designing structure-based pre-training tasks for code. However, how to…

Software Engineering · Computer Science 2024-04-12 Jiayi Wu , Renyu Zhu , Nuo Chen , Qiushi Sun , Xiang Li , Ming Gao

In this paper, we propose Dynamic Compressive Transformer (DCT), a transformer-based framework for modeling the unbounded sequence. In contrast to the previous baselines which append every sentence representation to memory, conditionally…

Computation and Language · Computer Science 2021-10-12 Kai-Po Chang , Wei-Yun Ma

Hard Thresholding Pursuit (HTP) is an iterative greedy selection procedure for finding sparse solutions of underdetermined linear systems. This method has been shown to have strong theoretical guarantee and impressive numerical performance.…

Machine Learning · Computer Science 2013-11-26 Xiao-Tong Yuan , Ping Li , Tong Zhang

Post-training compression of Transformer models commonly relies on truncated singular value decomposition (SVD). However, enforcing a single shared subspace can degrade accuracy even at moderate compression. Sparse dictionary learning…

Machine Learning · Computer Science 2026-02-18 Denis Makhov , Dmitriy Shopkhoev , Magauiya Zhussip , Ammar Ali , Baher Mohammad , Stamatios Lefkimmiatis