Integer-arithmetic-only Certified Robustness for Quantized Neural Networks

Haowen Lin, Jian Lou, Li Xiong +1

Adversarial data examples have drawn significant attention from the machine learning and security communities. A line of work on tackling adversarial examples is certified robustne…