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

Title
Verification of Bit-Flip Attacks against Quantized Neural Networks Yedi Zhang Lei Huang Pengfei Gao Fu Song Jun Sun Jin Song Dong AAML 197 2 0 22 Feb 2025
Revisiting Differential Verification: Equivalence Verification with ConfidenceInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2024 Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 339 2 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 194 5 0 17 Apr 2024
An Automata-Theoretic Approach to Synthesizing Binarized Neural NetworksAutomated Technology for Verification and Analysis (ATVA), 2023 Ye Tao Wanwei Liu Fu Song Zhen Liang Jing Wang Hongxu Zhu 115 1 0 29 Jul 2023
Logic for Explainable AILogic in Computer Science (LICS), 2023 Adnan Darwiche 202 16 0 09 May 2023