Quantitative Symbolic Robustness Verification for Quantized Neural Networks. - Mara Downing; William Eiers; Erin DeLong; Anushka Lodha; Brian Ozawa Burns; Ismet Burak Kadron; Tevfik Bultan (ICFEM, 2024)