Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2306.13793
Cited By
QNNRepair: Quantized Neural Network Repair
23 June 2023
Xidan Song
Youcheng Sun
Mustafa A. Mustafa
Lucas C. Cordeiro
MQ
Re-assign community
ArXiv
PDF
HTML
Papers citing
"QNNRepair: Quantized Neural Network Repair"
4 / 4 papers shown
Title
SQuant: On-the-Fly Data-Free Quantization via Diagonal Hessian Approximation
Cong Guo
Yuxian Qiu
Jingwen Leng
Xiaotian Gao
Chen Zhang
Yunxin Liu
Fan Yang
Yuhao Zhu
Minyi Guo
MQ
72
70
0
14 Feb 2022
TensorFlow Lite Micro: Embedded Machine Learning on TinyML Systems
R. David
Jared Duke
Advait Jain
Vijay Janapa Reddi
Nat Jeffries
...
Meghna Natraj
Shlomi Regev
Rocky Rhodes
Tiezhen Wang
Pete Warden
119
466
0
17 Oct 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
234
1,837
0
03 Feb 2017
Safety Verification of Deep Neural Networks
Xiaowei Huang
M. Kwiatkowska
Sen Wang
Min Wu
AAML
180
932
0
21 Oct 2016
1