Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification.

Jianglin Lan, Yang Zheng, Alessio Lomuscio

Browse the full AAAI paper archive.