Abstract:Adversarial noise attacks present a significant threat to quantum machine learning (QML) models, similar to their classical counterparts. This is especially true in the current Noisy Intermediate-Scale Quantum era, where noise is unavoidable. Therefore, it is essential to ensure the robustness of QML models before their deployment. To address this challenge, we introduce \textit{VeriQR}, the first tool designed specifically for formally verifying and improving the robustness of QML models, to the best of our knowledge. This tool mimics real-world quantum hardware's noisy impacts by incorporating random noise to formally validate a QML model's robustness. \textit{VeriQR} supports exact (sound and complete) algorithms for both local and global robustness verification. For enhanced efficiency, it implements an under-approximate (complete) algorithm and a tensor network-based algorithm to verify local and global robustness, respectively. As a formal verification tool, \textit{VeriQR} can detect adversarial examples and utilize them for further analysis and to enhance the local robustness through adversarial training, as demonstrated by experiments on real-world quantum machine learning models. Moreover, it permits users to incorporate customized noise. Based on this feature, we assess \textit{VeriQR} using various real-world examples, and experimental outcomes confirm that the addition of specific quantum noise can enhance the global robustness of QML models. These processes are made accessible through a user-friendly graphical interface provided by \textit{VeriQR}, catering to general users without requiring a deep understanding of the counter-intuitive probabilistic nature of quantum computing.

The Robustness Verification of Linear Sound Quantum Classifiers

Robustness Verification of Quantum Classifiers

Quantum Similarity Testing with Convolutional Neural Networks.

Robustness Verification of Quantum Machine Learning.

Quantum Robustness Verification: A Hybrid Quantum-Classical Neural Network Certification Algorithm

Adversarial Robustness Guarantees for Quantum Classifiers

Optimal provable robustness of quantum classification via quantum hypothesis testing

VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models

Certified Robustness of Quantum Classifiers against Adversarial Examples through Quantum Noise

Robust quantum classifiers via NISQ adversarial learning

A Obustness Fication Tool for Uantum Machine Learning Models

Certifiably Robust Encoding Schemes

Supervised learning with a quantum classifier using a multi-level system

Robust Classification with Adiabatic Quantum Optimization

Quantum Neural Network Classifiers: A Tutorial

A Comparative Analysis of Adversarial Robustness for Quantum and Classical Machine Learning Models

Leveraging Data Locality in Quantum Convolutional Classifiers

Robust Dequantization of the Quantum Singular value Transformation and Quantum Machine Learning Algorithms

Quantum Correlation Revealed by Bell State for Classification Tasks

Designing Robust Quantum Neural Networks: Exploring Expressibility, Entanglement, and Control Rotation Gate Selection for Enhanced Quantum Models

RobQuNNs: A Methodology for Robust Quanvolutional Neural Networks against Adversarial Attacks