Search Results for author: Ahmed Rezine

Found 1 papers, 1 papers with code

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees

1 code implementation15 Dec 2023 Anahita Baninajjar, Ahmed Rezine, Amir Aminifar

This lack of formal guarantees resulted in several research efforts that aim at verifying Deep Neural Networks (DNNs), with a particular focus on safety-critical applications.

Cannot find the paper you are looking for? You can Submit a new open access paper.