7 citations · 13 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CR2022★ 1 cited
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
Yedi Zhang, Zhe Zhao, Fu Song +3
Deep learning has become a promising programming paradigm in software development, owing to its surprising performance in solving many challenging tasks. Deep neural networks (DNNs…
cs.LG2022
QEBVerif: Quantization Error Bound Verification of Neural Networks
Yedi Zhang, Fu Song, Jun Sun
To alleviate the practical constraints for deploying deep neural networks (DNNs) on edge devices, quantization is widely regarded as one promising technique. It reduces the resourc…