Sound Floating-Point Neural Network Verification with MILP.

Shifu Yang, Liqian Chen, Banghu Yin, Minghao Li, Yuan Zhou, Ji Wang

Browse the full APSEC paper archive.