@misc{indiciaea201d98b9267,
  title = {VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees},
  author = {Anahita Baninajjar and Ahmed Rezine and Amir Aminifar},
  year = {2024},
  url = {https://arxiv.org/abs/2312.09748},
  note = {Source identifier: 2312.09748}
}