ML Anthology
Authors
Search
About
Baninajjar, Anahita
1 publications
ICML
2024
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
Anahita Baninajjar
,
Ahmed Rezine
,
Amir Aminifar