DeepAbstract: Neural Network Abstraction for Accelerating Verification

Pranav Ashok, Vahid Hashemi, Jan Křetínský +1

While abstraction is a classic tool of verification to scale it up, it is not used very often for verifying neural networks. However, it can help with the still open task of scalin…