[ZhangSS23] QEBVerif: Quantization Error Bound Verification of Neural Networks Zhang, Y.; Song, F. and Sun, J. In Proceedings of the 35th International Conference on Computer Aided Verification (CAV), pages 413-437, 2023.
Downloads: bib