SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks. - Anahita Baninajjar; Kamran Hosseini; Ahmed Rezine; Amir Aminifar (ICASSP, 2023)

Verification-Friendly Deep Neural Networks. - Anahita Baninajjar; Ahmed Rezine; Amir Aminifar (CoRR, 2023)

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

Verified Relative Safety Margins for Neural Network Twins. - Anahita Baninajjar; Kamran Hosseini; Ahmed Rezine; Amir Aminifar (CoRR, 2024)