Personal Information

  • Doctoral Supervisor
  • Master Tutor

  • Contact Information:

    GuangkeChen AT whu DOT edu DOT cn

  • School/Department:

    Institute for Math and AI

  • Education Level:

    With Certificate of Graduation for Doctorate Study

  • School/Department:

    Institute for Math and AI

  • Business Address:

    A918, Lei Jun Building

  • Contact Information:

    GuangkeChen AT whu DOT edu DOT cn

Paper Publications

Current position: Home > Scientific Research > Paper Publications

Certified Quantization Strategy Synthesis for Neural Networks

  • Time:2026-03-17
  • Hits:

  • Journal:

    Proceedings of the 26th International Symposium on Formal Methods (FM), 2024

  • Note:

    CCF-A 类会议，计算机验证顶会

  • Co-author:

    Guangke Chen,Fu Song,Jun Sun,Jin Song Dong

  • Translation or Not:

    no

Copyright @ 2017 Wuhan University

Back
Top