English
Related papers

Related papers: Formal Verification of Variational Quantum Circuit…

200 papers

The development of quantum computational techniques has advanced greatly in recent years, parallel to the advancements in techniques for deep reinforcement learning. This work explores the potential for quantum computing to facilitate…

Quantum Physics · Physics 2020-08-31 Owen Lockwood , Mei Si

Variational Quantum Circuits (VQC) lie at the forefront of quantum machine learning research. Still, the use of quantum networks for real data processing remains challenging as the number of available qubits cannot accommodate a large…

Quantum Physics · Physics 2024-09-06 G. Maragkopoulos , A. Mandilara , A. Tsili , D. Syvridis

Applications such as simulating complicated quantum systems or solving large-scale linear algebra problems are very challenging for classical computers due to the extremely high computational cost. Quantum computers promise a solution,…

Quantum Machine Learning algorithms based on Variational Quantum Circuits (VQCs) are important candidates for useful application of quantum computing. It is known that a VQC is a linear model in a feature space determined by its…

Quantum Physics · Physics 2025-07-09 Slimane Thabet , Léo Monbroussou , Eliott Z. Mamon , Jonas Landman

Over the past 27 years, quantum computing has seen a huge rise in interest from both academia and industry. At the current rate, quantum computers are growing in size rapidly backed up by the increase of research in the field. Significant…

Logic in Computer Science · Computer Science 2024-02-15 Marco Lewis , Sadegh Soudjani , Paolo Zuliani

Variational quantum algorithms have been introduced as a promising class of quantum-classical hybrid algorithms that can already be used with the noisy quantum computing hardware available today by employing parameterized quantum circuits.…

Quantum Physics · Physics 2023-02-10 Tom Peham , Lukas Burgholzer , Robert Wille

Quantum machine learning has established as an interdisciplinary field to overcome limitations of classical machine learning and neural networks. This is a field of research which can prove that quantum computers are able to solve problems…

Quantum Physics · Physics 2023-03-13 Meghashrita Das , Tirupati Bolisetti

This report introduces a novel class of reasoning architectures, termed Quantum Circuit Reasoning Models (QCRM), which extend the concept of Variational Quantum Circuits (VQC) from energy minimization and classification tasks to structured…

Quantum Physics · Physics 2025-12-10 Andrew Kiruluta

In recent years, variational quantum circuits (VQCs) have been widely explored to advance quantum circuits against classic models on various domains, such as quantum chemistry and quantum machine learning. Similar to classic…

Quantum Physics · Physics 2025-02-11 Jack Cunningham , Jun Zhuang

Variational quantum circuits (VQCs) have shown great potential in near-term applications. However, the discriminative power of a VQC, in connection to its circuit architecture and depth, is not understood. To unleash the genuine…

Quantum Physics · Physics 2021-07-19 Bingzhi Zhang , Quntao Zhuang

Quantum computers are reaching a level where interactions between classical and quantum computations can happen in real-time. This marks the advent of a new, broader class of quantum circuits: dynamic quantum circuits. They offer a broader…

Quantum Physics · Physics 2023-01-11 Lukas Burgholzer , Robert Wille

This work presents a comprehensive overview of variational quantum computing and their key role in advancing quantum simulation. This work explores the simulation of quantum systems and sets itself apart from approaches centered on…

Quantum Physics · Physics 2026-02-04 Lucas Q. Galvão , Anna Beatriz M. de Souza , Marcelo A. Moret , Clebson Cruz

In this paper, we introduce VeriQBench -- an open source benchmark for quantum circuits. It offers high-level quantum circuit abstractions of various circuit types, including 1) combinational, 2) dynamic, 3) sequential, and 4) variational…

Quantum Physics · Physics 2022-06-23 Kean Chen , Wang Fang , Ji Guan , Xin Hong , Mingyu Huang , Junyi Liu , Qisheng Wang , Mingsheng Ying

This paper presents a systematic comparative analysis of Variational Quantum Classifier (VQC) configurations for financial fraud detection, encompassing three distinct quantum encoding techniques and comprehensive architectural variations.…

In the era of noisy intermediate-scale quantum (NISQ), variational quantum circuits (VQCs) have been widely applied in various domains, demonstrating the potential advantages of quantum circuits over classical models. Similar to classic…

Quantum Physics · Physics 2025-08-26 Jun Zhuang , Jack Cunningham , Chaowen Guan

We review state-of-the-art formal methods applied to the emerging field of the verification of machine learning systems. Formal methods can provide rigorous correctness guarantees on hardware and software systems. Thanks to the availability…

Programming Languages · Computer Science 2021-04-22 Caterina Urban , Antoine Miné

Quantum computing holds promise across various fields, particularly with the advent of Noisy Intermediate-Scale Quantum (NISQ) devices, which can outperform classical supercomputers in specific tasks. However, challenges such as noise and…

Variational quantum algorithms (VQAs) are promising hybrid quantum-classical methods designed to leverage the computational advantages of quantum computing while mitigating the limitations of current noisy intermediate-scale quantum (NISQ)…

Computational Engineering, Finance, and Science · Computer Science 2025-04-18 Saibal De , Oliver Knitter , Rohan Kodati , Paramsothy Jayakumar , James Stokes , Shravan Veerapaneni

One-class classification is a fundamental problem in pattern recognition with a wide range of applications. This work presents a semi-supervised quantum machine learning algorithm for such a problem, which we call a variational quantum…

Quantum Physics · Physics 2024-08-12 Gunhee Park , Joonsuk Huh , Daniel K. Park

As with classical neural networks, quantum machine learning (QML) models are vulnerable to small input perturbations that can significantly alter output predictions. Certifying the robustness of QML models, particularly on NISQ hardware, is…

Quantum Physics · Physics 2026-05-29 Ji Guan , Mingsheng Ying