Scalable Verification of Quantized Neural Networks (Technical Report)

v1v2 (latest)

Scalable Verification of Quantized Neural Networks (Technical Report)

15 December 2020

Mathias Lechner

ArXiv (abs)PDF HTML

Papers citing "Scalable Verification of Quantized Neural Networks (Technical Report)"

10 / 10 papers shown

Title
Towards Efficient Verification of Quantized Neural Networks Pei Huang Haoze Wu Yuting Yang Ieva Daukantas Min Wu Yedi Zhang Clark W. Barrett MQ 78 12 0 20 Dec 2023
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques Sophie A. Neubauer Radu Grosu 60 0 0 23 Aug 2023
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks Yedi Zhang Zhe Zhao Fu Song Hao Fei Tao Chen Jun Sun 69 18 0 10 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 99 12 0 06 Dec 2022
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks Mathias Lechner Dorde Zikelic K. Chatterjee T. Henzinger Daniela Rus AAML 54 4 0 29 Nov 2022
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning Mathias Lechner Alexander Amini Daniela Rus T. Henzinger AAML 91 10 0 15 Apr 2022
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking Xidan Song Edoardo Manino Luiz Sena E. Alves Eddie Batista de Lima Filho I. Bessa M. Luján Lucas C. Cordeiro 69 5 0 25 Nov 2021
GoTube: Scalable Stochastic Verification of Continuous-Depth Models Sophie Gruenbacher Mathias Lechner Ramin Hasani Daniela Rus T. Henzinger S. Smolka Radu Grosu 65 17 0 18 Jul 2021
Neural Termination Analysis Mirco Giacobbe Daniel Kroening Julian Parsert 72 17 0 07 Feb 2021
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 65 59 0 05 Nov 2020