A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks.

Christopher Lazarus, Mykel J. Kochenderfer

Browse the full IJCAI paper archive.