Details for the publication ZhangSS23.

Yedi Zhang, Fu Song (), Jun Sun (): QEBVerif: Quantization Error Bound Verification of Neural Networks. In Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II, volume 13965 of Lecture Notes in Computer Science, pages 413-437, 2023. DOI BIB