Towards Efficient Verification of Quantized Neural Networks

Towards Efficient Verification of Quantized Neural Networks

20 December 2023

Min Wu

Clark W. Barrett

Papers citing "Towards Efficient Verification of Quantized Neural Networks"

5 / 5 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
Robust Iterative Value Conversion: Deep Reinforcement Learning for Neurochip-driven Edge Robots Y. Kadokawa Tomohito Kodera Yoshihisa Tsurumine Shinya Nishimura Takamitsu Matsubara 37 1 0 23 Aug 2024
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks Haoze Wu Omri Isac Aleksandar Zeljić Teruhiro Tagomori M. Daggitt ... Min Wu Min Zhang Ekaterina Komendantskaya Guy Katz Clark W. Barrett 47 30 0 25 Jan 2024
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016