Rezine, Ahmed

1 publications

ICML 2024 VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees Anahita Baninajjar, Ahmed Rezine, Amir Aminifar