Robustness verification of quantum classifiers

DOI10.1007/978-3-030-81685-8_7zbMath1493.68299arXiv2008.07230OpenAlexW3169231649MaRDI QIDQ832160

Ji Guan, Wang Fang, Ming Sheng Ying

Publication date: 25 March 2022

Full work available at URL: https://arxiv.org/abs/2008.07230

zbMATH Keywords

quantum machine learningadversarial examplesrobust boundrobustness verification

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum algorithms and complexity in the theory of computing (68Q12)

Uses Software

• MNIST
• CVXPY
• TensorFlow
• Adam
• Reluplex
• NNV
• VERIFAI
• TensorFlow Quantum

Cites Work

• Reluplex: an efficient SMT solver for verifying deep neural networks
• Verification of deep convolutional neural networks using ImageStars
• An abstraction-based framework for neural network verification
• CVXPY: A Python-Embedded Modeling Language for Convex Optimization
• Quantum Computation and Quantum Information
• Bloch vectors for qudits
• Solving the quantum many-body problem with artificial neural networks

This page was built for publication: Robustness verification of quantum classifiers