Anahita Baninajjar Ahmed Rezine Amir Aminifar Verification-Friendly Deep Neural Networks. 2023 abs/2312.09748 CoRR https://doi.org/10.48550/arXiv.2312.09748 db/journals/corr/corr2312.html#abs-2312-09748