A review of abstraction methods toward verifying neural networks

F Boudardara, A Boussif, PJ Meyer… - ACM Transactions on …, 2024 - dl.acm.org
Neural networks as a machine learning technique are increasingly deployed in various
domains. Despite their performance and their continuous improvement, the deployment of …