Quantitative Symbolic Robustness Verification for Quantized Neural Networks.

Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan

Browse the full ICFEM paper archive.