Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations.

Jianglin Lan, Yang Zheng, Alessio Lomuscio

Browse the full AAAI paper archive.