v1v2 (latest)

QEBVerif: Quantization Error Bound Verification of Neural Networks

International Conference on Computer Aided Verification (CAV), 2022

6 December 2022

Yedi Zhang

Fu Song

Jun Sun

ArXiv (abs)PDF HTML

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

5 / 5 papers shown

Verification of Bit-Flip Attacks against Quantized Neural Networks

260

22 Feb 2025

Revisiting Differential Verification: Equivalence Verification with ConfidenceInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2024

384

26 Oct 2024

QGen: On the Ability to Generalize in Quantization Aware Training

Mohammadhossein Askarihemmat

Ahmadreza Jeddi

Reyhane Askari Hemmat

276

17 Apr 2024

An Automata-Theoretic Approach to Synthesizing Binarized Neural NetworksAutomated Technology for Verification and Analysis (ATVA), 2023

170

29 Jul 2023

Logic for Explainable AILogic in Computer Science (LICS), 2023

Adnan Darwiche

263

09 May 2023