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

QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks

  • Time:2026-03-17
  • Hits:

  • Journal:

    Proceedings of 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022

  • Note:

    CCF-A 类会议，软件工程顶会

  • Co-author:

    Zhe Zhao,Guangke Chen,Fu Song,Min Zhang,Taulue Chen,Jun Sun

  • Translation or Not:

    no

Copyright @ 2017 Wuhan University

Back
Top