QEBVerif: Quantization Error Bound Verification of Neural Networks

QEBVerif: Quantization Error Bound Verification of Neural Networks

6 December 2022

Jun Sun

Papers citing "QEBVerif: Quantization Error Bound Verification of Neural Networks"

8 / 8 papers shown

Title
Verification of Bit-Flip Attacks against Quantized Neural Networks Yedi Zhang Lei Huang Pengfei Gao Fu Song Jun Sun Jin Song Dong AAML 52 0 0 22 Feb 2025
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 38 0 0 26 Oct 2024
QGen: On the Ability to Generalize in Quantization Aware Training Mohammadhossein Askarihemmat Ahmadreza Jeddi Reyhane Askari Hemmat Ivan Lazarevich Alexander Hoffman Sudhakar Sah Ehsan Saboori Yvon Savaria Jean-Pierre David MQ 21 0 0 17 Apr 2024
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks Ye Tao Wanwei Liu Fu Song Zhen Liang J. Wang Hongxu Zhu 24 1 0 29 Jul 2023
Logic for Explainable AI Adnan Darwiche 30 8 0 09 May 2023
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 21 10 0 02 Jul 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016