Robustness Verification of Quantum Classifiers

17 August 2020

Papers citing "Robustness Verification of Quantum Classifiers"

6 / 6 papers shown

Title
TensorFlow Quantum: A Software Framework for Quantum Machine Learning Michael Broughton Guillaume Verdon Trevor McCourt Antonio J. Martinez Jae Hyeon Yoo ... Sergio Boixo Dave Bacon Alan K. Ho Hartmut Neven Masoud Mohseni VLM AI4CE 15 205 0 06 Mar 2020
On the Suitability of $L_p$ -norms for Creating and Preventing Adversarial Examples Mahmood Sharif Lujo Bauer Michael K. Reiter AAML 103 138 0 27 Feb 2018
Adversarial Patch Tom B. Brown Dandelion Mané Aurko Roy Martín Abadi Justin Gilmer AAML 50 1,093 0 27 Dec 2017
Adversarial Examples Are Not Easily Detected: Bypassing Ten Detection Methods Nicholas Carlini D. Wagner AAML 86 1,851 0 20 May 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 274 1,849 0 03 Feb 2017
Measuring Neural Net Robustness with Constraints Osbert Bastani Yani Andrew Ioannou Leonidas Lampropoulos Dimitrios Vytiniotis A. Nori A. Criminisi AAML 45 423 0 24 May 2016