Details for the publication ZhangCSSD24.

Yedi Zhang, Guangke Chen, Fu Song (), Jun Sun (), Jin Song Dong: Certified Quantization Strategy Synthesis for Neural Networks. In Proceedings of the 26th International Symposium on Formal Methods (FM), 2024. URL BIB