Scalable verification of quantized neural networks

• Main Authors: HENZINGER, Thomas A., LECHNER, Mathias, ZIKELIC, Dorde
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2021
• Subjects: Artificial Intelligence and Robotics; OS and Networks
• Online Access: https://ink.library.smu.edu.sg/sis_research/9074; https://ink.library.smu.edu.sg/context/sis_research/article/10077/viewcontent/16496_Article_Text_19990_1_2_20210518.pdf
• Institution: Singapore Management University

Formal verification of neural networks is an active topic of research, and recent advances have significantly increased the size of the networks that verification tools can handle. However, most methods are designed for verification of an idealized model of the actual network which works over real a...