Discrete Randomized Smoothing Meets Quantum Computing

1 August 2024

Stephan Günnemann

Papers citing "Discrete Randomized Smoothing Meets Quantum Computing"

3 / 3 papers shown

Title
Certifiably Robust Encoding Schemes Aman Saxena Tom Wollschlager Nicola Franco J. M. Lorenz Stephan Günnemann OOD AAML 24 1 0 02 Aug 2024
Localized Randomized Smoothing for Collective Robustness Certification Jan Schuchardt Thomas Wollschläger Aleksandar Bojchevski Stephan Günnemann AAML 45 9 0 28 Oct 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017