TY  - RPRT
TI  - VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
AU  - Anahita Baninajjar
AU  - Ahmed Rezine
AU  - Amir Aminifar
PY  - 2024
UR  - https://arxiv.org/abs/2312.09748
ID  - 2312.09748
ER  -