Neural and Evolutionary Computing · Computer Science
Quantization for Rapid Deployment of Deep Neural Networks
Jun Haeng Lee, Sangwon Ha, Saerom Choi, Won-Jo Lee +1
2018-10-15
Machine Learning · Computer Science
Low-bit Model Quantization for Deep Neural Networks: A Survey
Kai Liu, Qian Zheng, Kaiwen Tao, Zhiteng Li +8
2025-05-12
Hardware Architecture · Computer Science
CoNLoCNN: Exploiting Correlation and Non-Uniform Quantization for Energy-Efficient Low-precision Deep Convolutional Neural Networks
Muhammad Abdullah Hanif, Giuseppe Maria Sarda, Alberto Marchisio, Guido Masera +2
2022-08-02
Machine Learning · Computer Science
Adaptive Quantization for Deep Neural Network
Yiren Zhou, Seyed-Mohsen Moosavi-Dezfooli, Ngai-Man Cheung, Pascal Frossard
2017-12-05
Computer Vision and Pattern Recognition · Computer Science
Formal Verification of Deep Neural Networks for Object Detection
Yizhak Y. Elboher, Avraham Raviv, Yael Leibovich Weiss, Omer Cohen +3
2024-11-19
Machine Learning · Computer Science
Characterizing and Understanding the Behavior of Quantized Models for Reliable Deployment
Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie +3
2022-04-12
Machine Learning · Computer Science
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song +1
2021-03-15
Machine Learning · Computer Science
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Jianlin Li, Pengfei Yang, Jiangchao Liu, Liqian Chen +2
2021-02-24
Machine Learning · Computer Science
Scalable Quantitative Verification For Deep Neural Networks
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
2021-03-24
Machine Learning · Computer Science
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Tianhao Wei, Hanjiang Hu, Luca Marzari, Kai S. Yun +3
2025-07-22
Computer Vision and Pattern Recognition · Computer Science
Quantization of Deep Neural Networks for Accurate Edge Computing
Wentao Chen, Hailong Qiu, Jian Zhuang, Chutong Zhang +6
2021-10-15
Machine Learning · Computer Science
Verifying Generalization in Deep Learning
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz +1
2023-05-11
Computer Vision and Pattern Recognition · Computer Science
TensorQuant - A Simulation Toolbox for Deep Neural Network Quantization
Dominik Marek Loroch, Norbert Wehn, Franz-Josef Pfreundt, Janis Keuper
2017-10-17
Computation and Language · Computer Science
A Survey on Deep Learning for Named Entity Recognition
Jing Li, Aixin Sun, Jianglei Han, Chenliang Li
2023-04-26
Computer Vision and Pattern Recognition · Computer Science
Benchmark Analysis of Representative Deep Neural Network Architectures
Simone Bianco, Remi Cadene, Luigi Celona, Paolo Napoletano
2023-09-15
Computer Vision and Pattern Recognition · Computer Science
A Survey of Quantization Methods for Efficient Neural Network Inference
Amir Gholami, Sehoon Kim, Zhen Dong, Zhewei Yao +2
2021-06-23
Machine Learning · Computer Science
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz +1
2024-07-02