English
Related papers

Related papers: Partial Quantifier Elimination With Learning

200 papers

Post-Training Quantization (PTQ) has emerged as an effective technique for alleviating the substantial computational and memory overheads of Vision-Language Models (VLMs) by compressing both weights and activations without retraining the…

Computer Vision and Pattern Recognition · Computer Science 2026-03-02 Chenwei Jia , Baoting Li , Xuchong Zhang , Mingzhuo Wei , Bochen Lin , Hongbin Sun

Query Expansion (QE) improves retrieval performance by enriching queries with related terms. Recently, Large Language Models (LLMs) have been used for QE, but existing methods face a trade-off: generating diverse terms boosts performance…

Information Retrieval · Computer Science 2025-09-03 Jinseok Kim , Sukmin Cho , Soyeong Jeong , Sangyeop Kim , Sungzoon Cho

Quantum computers promise a great computational advantage over classical computers, yet currently available quantum devices have only a limited amount of qubits and a high level of noise, limiting the size of problems that can be solved…

Quantum Physics · Physics 2026-01-21 Ittay Alfassi , Dekel Meirom , Tal Mor

We propose a divide-and-conquer method for the quantum-classical hybrid algorithm to solve larger problems with small-scale quantum computers. Specifically, we concatenate a variational quantum eigensolver (VQE) with a reduction in the…

Quantum Physics · Physics 2022-01-26 Keisuke Fujii , Kaoru Mizuta , Hiroshi Ueda , Kosuke Mitarai , Wataru Mizukami , Yuya O. Nakagawa

The Residual Quantization (RQ) framework is revisited where the quantization distortion is being successively reduced in multi-layers. Inspired by the reverse-water-filling paradigm in rate-distortion theory, an efficient regularization on…

Machine Learning · Computer Science 2017-05-02 Sohrab Ferdowsi , Slava Voloshynovskiy , Dimche Kostadinov

We propose reCSE, a self supervised contrastive learning sentence representation framework based on feature reshaping. This framework is different from the current advanced models that use discrete data augmentation methods, but instead…

Computation and Language · Computer Science 2024-08-27 Fufangchen Zhao , Jian Gao , Danfeng Yan

Recently, there has been a growing interest in utilizing machine learning for accurate classification of power quality events (PQEs). However, most of these studies are performed assuming an ideal situation, while in reality, we can have…

Machine Learning · Computer Science 2024-02-26 Ahmad Mohammad Saber , Amr Youssef , Davor Svetinovic , Hatem Zeineldin , Deepa Kundur , Ehab El-Saadany

Hyperspectral sensing provides rich spectral information for scene understanding in urban driving, but its high dimensionality poses challenges for interpretation and efficient learning. We introduce Learnable Quantum Efficiency (LQE), a…

Computer Vision and Pattern Recognition · Computer Science 2026-04-17 Imad Ali Shah , Jiarong Li , Ethan Delaney , Enda Ward , Martin Glavin , Edward Jones , Brian Deegan

Second-order quantifier-elimination is the problem of finding, given a formula with second-order quantifiers, a logically equivalent first-order formula. While such formulas are not computable in general, there are practical algorithms and…

Logic in Computer Science · Computer Science 2025-06-03 Fabian Achammer , Stefan Hetzl , Renate A. Schmidt

The finite element method (FEM) is a cornerstone numerical technique for solving partial differential equations (PDEs). Here, we present $\textbf{Qu-FEM}$, a fault-tolerant era quantum algorithm for the finite element method. In contrast to…

Quantum Physics · Physics 2025-10-22 Ahmad M. Alkadri , Tyler D. Kharazi , K. Birgitta Whaley , Kranthi K. Mandadapu

Quantum algorithms can enhance machine learning in different aspects. In 2014, Rebentrost $et~al.$ constructed a least squares quantum support vector machine (LS-QSVM), in which the Swap Test plays a crucial role in realizing the…

Quantum Physics · Physics 2022-06-03 Rui Zhang , Jian Wang , Nan Jiang , Zichen Wang

We present APQ for efficient deep learning inference on resource-constrained hardware. Unlike previous methods that separately search the neural architecture, pruning policy, and quantization policy, we optimize them in a joint manner. To…

Machine Learning · Computer Science 2020-06-16 Tianzhe Wang , Kuan Wang , Han Cai , Ji Lin , Zhijian Liu , Song Han

Partial differential equations (PDEs) are fundamental across numerous scientific fields. As these problems scale to high dimensions, classical numerical schemes introduce severe computational bottlenecks, known as the curse of…

Quantum Physics · Physics 2026-04-29 Chih-Kang Huang , Giacomo Antonioli , Frédéric Barbaresco

We define a new problem in comparative genomics, denoted PQ-Tree Search, that takes as input a PQ-tree $T$ representing the known gene orders of a gene cluster of interest, a gene-to-gene substitution scoring function $h$, integer…

Genomics · Quantitative Biology 2020-07-08 G. R. Zimerman , D. Svetlitsky , M. Zehavi , M. Ziv-Ukelson

Quantum computing is expected to provide exponential speedup in machine learning. However, optimizing the data loading process, commonly referred to as quantum data embedding, to maximize classification performance remains a critical…

Compactness in deep learning can be critical to a model's viability in low-resource applications, and a common approach to extreme model compression is quantization. We consider Iterative Product Quantization (iPQ) with Quant-Noise to be…

Machine Learning · Computer Science 2023-06-27 Tianhong Huang , Victor Agostinelli , Lizhong Chen

We consider problems originating in economics that may be solved automatically using mathematical software. We present and make freely available a new benchmark set of such problems. The problems have been shown to fall within the framework…

Symbolic Computation · Computer Science 2018-11-01 C. Mulligan , R. Bradford , J. H. Davenport , M. England , Z. Tonks

Reinforcement learning (RL) for complex tasks remains a challenge, primarily due to the difficulties of engineering scalar reward functions and the inherent inefficiency of training models from scratch. Instead, it would be better to…

Artificial Intelligence · Computer Science 2024-05-03 Finn Rietz , Erik Schaffernicht , Stefan Heinrich , Johannes Andreas Stork

In the field of information retrieval, query expansion (QE) has long been used as a technique to deal with the fundamental issue of word mismatch between a user's query and the target information. In the context of the relationship between…

Information Retrieval · Computer Science 2022-08-16 Hiteshwar Kumar Azad , Akshay Deepak

Quantization has been applied to multiple domains in Deep Neural Networks (DNNs). We propose Depthwise Quantization (DQ) where $\textit{quantization}$ is applied to a decomposed sub-tensor along the $\textit{feature axis}$ of weak…

Computer Vision and Pattern Recognition · Computer Science 2022-03-30 Iordanis Fostiropoulos , Barry Boehm
‹ Prev 1 3 4 5 6 7 10 Next ›