VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees

AAMLRe-assign community