Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2211.16187
Cited By
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
29 November 2022
Mathias Lechner
Dorde Zikelic
K. Chatterjee
T. Henzinger
Daniela Rus
AAML
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks"
3 / 3 papers shown
Title
ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs
Yuchen Yang
Shubham Ugare
Yifan Zhao
Gagandeep Singh
Sasa Misailovic
MQ
26
0
0
31 Oct 2024
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Weiming Xiang
Hoang-Dung Tran
Taylor T. Johnson
72
292
0
09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
224
1,835
0
03 Feb 2017
1