Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts.

Ben Batten, Panagiotis Kouvaros, Alessio Lomuscio, Yang Zheng

Browse the full IJCAI paper archive.