The Robustness Verification of Linear Sound Quantum Classifiers

03/09/2023
by   Su Bonan, et al.
0

I present a quick and sound method for the robustness verification of a sort of quantum classifiers who are Linear Sound. Since quantum machine learning has been put into practice in relevant fields and Linear Sound Property, LSP is a pervasive property, the method could be universally applied. I implemented my method with a Quantum Convolutional Neural Network, QCNN using MindQuantum, Huawei and successfully verified its robustness when classifying MNIST dataset.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/23/2022

Experimental verification of the quantum nature of a neural network

In my previous article I mentioned for the first time that a classical n...
research
11/13/2022

Certifying Robustness of Convolutional Neural Networks with Tight Linear Approximation

The robustness of neural network classifiers is becoming important in th...
research
05/22/2021

Quanta in sound, the sound of quanta: a voice-informed quantum theoretical perspective on sound

Humans have a privileged, embodied way to explore the world of sounds, t...
research
09/15/2022

Sound and Complete Verification of Polynomial Networks

Polynomial Networks (PNs) have demonstrated promising performance on fac...
research
09/10/2020

Toward Probabilistic Checking against Non-Signaling Strategies with Constant Locality

Non-signaling strategies are a generalization of quantum strategies that...
research
03/11/2022

Superconducting qubits as musical synthesizers for live performance

In the frame of a year-long artistic residency at the Yale Quantum Insti...
research
07/01/2018

Optimization of neural networks via finite-value quantum fluctuations

We numerically test an optimization method for deep neural networks (DNN...

Please sign up or login with your details

Forgot password? Click here to reset