Integer-arithmetic-only Certified Robustness for Quantized Neural Networks

21 August 2021

Papers citing "Integer-arithmetic-only Certified Robustness for Quantized Neural Networks"

4 / 4 papers shown

Title
ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs Yuchen Yang Shubham Ugare Yifan Zhao Gagandeep Singh Sasa Misailovic MQ 31 0 0 31 Oct 2024
Incremental Randomized Smoothing Certification Shubham Ugare Tarun Suresh Debangshu Banerjee Gagandeep Singh Sasa Misailovic AAML 38 8 0 31 May 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 296 3,112 0 04 Nov 2016