Towards Efficient Verification of Quantized Neural Networks

1 code implementation • 20 Dec 2023 • Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark Barrett

Quantization replaces floating point arithmetic with integer arithmetic in deep neural network models, providing more efficient on-device inference with less power and memory.

Quantization