Cover Image

VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lin, Yanling, Guan, Ji, Fang, Wang, Ying, Mingsheng, Su, Zhaofeng
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
by: Guan, Ji, et al.
Published: (2026)

Measurement-based Verification of Quantum Markov Chains
by: Guan, Ji, et al.
Published: (2024)

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
by: Huang, Mingyu, et al.
Published: (2025)

Efficient Formal Verification of Quantum Error Correcting Programs
by: Huang, Qifan, et al.
Published: (2025)

Verification of Recursively Defined Quantum Circuits
by: Ying, Mingsheng, et al.
Published: (2024)

Symbolic Execution for Quantum Error Correction Programs
by: Fang, Wang, et al.
Published: (2023)

Differential Privacy of Quantum and Quantum-Inspired Classical Recommendation Algorithms
by: Li, Chenjian, et al.
Published: (2025)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
by: Dai, Aochu, et al.
Published: (2025)

New Quantum Algorithms for Computing Quantum Entropies and Distances
by: Wang, Qisheng, et al.
Published: (2022)

Automatic Test Pattern Generation for Robust Quantum Circuit Testing
by: Chen, Kean, et al.
Published: (2022)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
by: Zhang, Zhicheng, et al.
Published: (2024)

SDP for One-shot Dilution of Quantum Coherence
by: Zhu, Yikang, et al.
Published: (2024)

Super-Robust Nonadiabatic Holonomic Quantum Computation in coherence-protected Superconducting Circuits
by: Wang, Yuan-Sheng, et al.
Published: (2024)

A Practical Quantum Hoare Logic with Classical Variables, I
by: Ying, Mingsheng
Published: (2024)

BI-based Reasoning about Quantum Programs with Heap Manipulations
by: Su, Bonan, et al.
Published: (2024)

Parallel Quantum Algorithm for Hamiltonian Simulation
by: Zhang, Zhicheng, et al.
Published: (2021)

Symbolic Specification and Reasoning for Quantum Data and Operations
by: Ying, Mingsheng
Published: (2025)

Control Flow Adaption: An Efficient Simulation Method For Noisy Quantum Networks
by: Lin, Huiping, et al.
Published: (2024)

Borrowing Dirty Qubits in Quantum Programs
by: Su, Bonan, et al.
Published: (2025)

Quantum Earth mover's distance, No-go Quantum Kantorovich-Rubinstein theorem, and Quantum Marginal Problem
by: Yu, Nengkun, et al.
Published: (2018)

Quantum Algorithm for Lexicographically Minimal String Rotation
by: Wang, Qisheng, et al.
Published: (2020)

QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits
by: Li, Zihao, et al.
Published: (2026)

Quantum Speedup for Hypergraph Sparsification
by: Liu, Chenghua, et al.
Published: (2025)

Quantum Büchi Automata
by: Wang, Qisheng, et al.
Published: (2018)

Atomicity in Distributed Quantum Computing
by: Zhang, Zhicheng, et al.
Published: (2024)

Access Control Threatened by Quantum Entanglement
by: Zhang, Zhicheng, et al.
Published: (2025)

Mitigating Barren Plateaus in Quantum Denoising Diffusion Probabilistic Model
by: Cao, Haipeng, et al.
Published: (2025)

Quantum Patches: Enhancing Robustness of Quantum Machine Learning Models
by: Tran, Ban Q., et al.
Published: (2026)

Optimal local filtering operation for enhancing quantum entanglement
by: Su, Zhaofeng, et al.
Published: (2024)

Classical Verification of Quantum Learning Advantages with Noises
by: Ma, Yinghao, et al.
Published: (2024)

Fundamentals of Quantum Machine Learning and Robustness
by: Pira, Lirandë, et al.
Published: (2026)

Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations
by: Kapourniotis, Theodoros, et al.
Published: (2022)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
by: Huang, Qifan, et al.
Published: (2026)

Optimal Mechanisms for Quantum Local Differential Privacy
by: Guan, Ji
Published: (2024)

RH: An Architecture for Redesigning Quantum Circuits on Quantum Hardware Devices
by: He, Runhong, et al.
Published: (2024)

Data-Efficient Quantum Noise Modeling via Machine Learning
by: Ji, Yanjun, et al.
Published: (2025)

Harnessing Quantum Dynamics for Robust and Scalable Quantum Extreme Learning Machines
by: Solanki, Payal D., et al.
Published: (2025)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
by: Lewis, Marco, et al.
Published: (2021)

Dissipative Preparation of Correlated Quantum States in Dipolar Rydberg Arrays
by: Tian, Mingsheng, et al.
Published: (2026)

Machine Learns Quantum Complexity
by: Bak, Dongsu, et al.
Published: (2025)