Details for the publication ZhangCSSD24.

Yedi Zhang, Guangke Chen, Fu Song (), Jun Sun (), Jin Song Dong: Certified Quantization Strategy Synthesis for Neural Networks. In 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, 2024. DOI BIB