Yedi Zhang, Guangke Chen, Fu Song, Jun Sun 0001, Jin Song Dong. Certified Quantization Strategy Synthesis for Neural Networks. In André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi 0001, editors, Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I. Volume 14933 of Lecture Notes in Computer Science, pages 343-362, Springer, 2024. [doi]
Abstract is missing.