External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Certified Quantization Strategy Synthesis for Neural Networks

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]

Authors

Yedi Zhang

This author has not been identified. Look up 'Yedi Zhang' in Google

Guangke Chen

This author has not been identified. Look up 'Guangke Chen' in Google

Fu Song

This author has not been identified. Look up 'Fu Song' in Google

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google
runs on