2 papers
cs.LG2025
Formal Local Implication Between Two Neural Networks
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar
Given two neural network classifiers with the same input and output domains, our goal is to compare the two networks in relation to each other over an entire input region (e.g., wi…
cs.LG2024
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
Anahita Baninajjar, Ahmed Rezine, Amir Aminifar
Machine learning techniques often lack formal correctness guarantees, evidenced by the widespread adversarial examples that plague most deep-learning applications. This lack of for…