VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees.

Anahita Baninajjar, Ahmed Rezine, Amir Aminifar

Browse the full ICML paper archive.