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 44 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 26 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 31 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 222 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 931 0 21 Oct 2016