English
Related papers

Related papers: The QBF Gallery: Behind the Scenes

200 papers

Case-Based Reasoning (CBR) is an artificial intelligence approach to problem-solving with a good record of success. This article proposes using Quantum Computing to improve some of the key processes of CBR, such that a Quantum Case-Based…

Artificial Intelligence · Computer Science 2022-01-12 Parfait Atchade-Adelomou , Daniel Casado-Fauli , Elisabet Golobardes-Ribe , Xavier Vilasis-Cardona

Quantum machine learning (QML) is a discipline that seeks to transfer the advantages of quantum computing to data-driven tasks. However, many studies rely on toy datasets or heavy feature reduction, raising concerns about their scalability.…

Quantum Physics · Physics 2025-04-16 Federico Tiblias , Anna Schroeder , Yue Zhang , Mariami Gachechiladze , Iryna Gurevych

The rapid proliferation of large language models (LLMs) has stimulated researchers to seek effective and efficient approaches to deal with LLM hallucinations and low-quality outputs. Uncertainty quantification (UQ) is a key element of…

In this work, we propose a framework in the form of a Python package, specifically designed for the analysis of Quantum Machine Learning models. This framework is based on the PennyLane simulator and facilitates the evaluation and training…

Quantum Physics · Physics 2025-09-17 Melvin Strobl , Maja Franz , Eileen Kuehn , Wolfgang Mauerer , Achim Streit

The advent of the foundation model era has sparked significant research interest in leveraging pre-trained representations for continual learning (CL), yielding a series of top-performing CL methods on standard evaluation benchmarks.…

Machine Learning · Computer Science 2025-05-26 Shengzhuang Chen , Yikai Liao , Xiaoxiao Sun , Kede Ma , Ying Wei

There is growing interest in solving computer vision problems such as mesh or point set alignment using Adiabatic Quantum Computing (AQC). Unfortunately, modern experimental AQC devices such as D-Wave only support Quadratic Unconstrained…

Variational quantum algorithms have received substantial theoretical and empirical attention. As the underlying variational quantum circuit (VQC) can be represented by Fourier series that contain an exponentially large spectrum in the…

Quantum Physics · Physics 2025-08-27 Maja Franz , Melvin Strobl , Leonid Chaichenets , Eileen Kuehn , Achim Streit , Wolfgang Mauerer

While recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of such quantum programs is a challenge. Early attempts either…

Programming Languages · Computer Science 2022-02-04 Christophe Chareton , Sébastien Bardin , François Bobot , Valentin Perrelle , Benoit Valiron

Artificial Intelligence (AI) systems have shown good success at classifying. However, the lack of explainability is a true and significant challenge, especially in high-stakes domains, such as health and finance, where understanding is…

Machine Learning · Computer Science 2026-01-14 A. M. A. S. D. Alagiyawanna , Asoka Karunananda , Thushari Silva , A. Mahasinghe

Quantitative chemistry is central to modern chemical research, yet the ability of large language models (LLMs) to perform its rigorous, step-by-step calculations remains underexplored. To fill this blank, we propose QCBench, a Quantitative…

Artificial Intelligence · Computer Science 2025-11-05 Jiaqing Xie , Weida Wang , Ben Gao , Zhuo Yang , Haiyuan Wan , Shufei Zhang , Tianfan Fu , Yuqiang Li

With the rapid development of online education in recent years, there has been an increasing number of learning platforms that provide students with multi-step questions to cultivate their problem-solving skills. To guarantee the high…

Human-Computer Interaction · Computer Science 2020-09-29 Meng Xia , Reshika Palaniyappan Velumani , Yong Wang , Huamin Qu , Xiaojuan Ma

Control barrier functions (CBFs) have become a popular tool to enforce safety of a control system. CBFs are commonly utilized in a quadratic program formulation (CBF-QP) as safety-critical constraints. A class $\mathcal{K}$ function in CBFs…

Systems and Control · Electrical Eng. & Systems 2022-04-12 Hengbo Ma , Bike Zhang , Masayoshi Tomizuka , Koushil Sreenath

Control Barrier Functions (CBFs) that provide formal safety guarantees have been widely used for safety-critical systems. However, it is non-trivial to design a CBF. Utilizing neural networks as CBFs has shown great success, but it…

Systems and Control · Electrical Eng. & Systems 2023-11-20 Xinyu Wang , Luzia Knoedler , Frederik Baymler Mathiesen , Javier Alonso-Mora

Incremental determinization is a recently proposed algorithm for solving quantified Boolean formulas with one quantifier alternation. In this paper, we formalize incremental determinization as a set of inference rules to help understand the…

Logic in Computer Science · Computer Science 2019-06-03 Markus N. Rabe , Leander Tentrup , Cameron Rasmussen , Sanjit A. Seshia

Quantum resource analysis is crucial for designing quantum circuits as well as assessing the viability of arbitrary (error-corrected) quantum computations. To this end, we introduce QUANTIFY, which is an open-source framework for the…

Quantum Physics · Physics 2020-07-22 Oumarou Oumarou , Alexandru Paler , Robert Basmadjian

A careful study of the classical/quantum connection with the aid of coherent states offers new insights into various technical problems. This analysis includes both canonical as well as closely related affine quantization procedures. The…

High Energy Physics - Theory · Physics 2015-06-12 John R. Klauder

Due to the superiority and noteworthy progress of Quantum Computing (QC) in a lot of applications such as cryptography, chemistry, Big data, machine learning, optimization, Internet of Things (IoT), Blockchain, communication, and many more.…

Quantum Physics · Physics 2020-06-23 Zainab Abohashima , Mohamed Elhosen , Essam H. Houssein , Waleed M. Mohamed

Fairness of machine learning models in healthcare has drawn increasing attention from clinicians, researchers, and even at the highest level of government. On the other hand, the importance of developing and deploying interpretable or…

Machine Learning · Computer Science 2024-09-04 Mary M. Lucas , Xiaoyang Wang , Chia-Hsuan Chang , Christopher C. Yang , Jacqueline E. Braughton , Quyen M. Ngo

Quantum Implicit Neural Representations (QINRs) include components for learning and execution on gate-based quantum computers. While QINRs recently emerged as a promising new paradigm, many challenges concerning their architecture and…

Computer Vision and Pattern Recognition · Computer Science 2025-08-15 Shuteng Wang , Christian Theobalt , Vladislav Golyanik

The topic of quantum reference frames (QRFs) has attracted a great deal of attention in the recent literature. Potentially, the correct description of such frames is important for both the technological applications of quantum mechanics and…

General Relativity and Quantum Cosmology · Physics 2023-12-08 Matthew J. Lake , Marek Miller