QEBVerif: Quantization Error Bound Verification of Neural Networks.

Yedi Zhang, Fu Song, Jun Sun

Browse the full CAV paper archive.