Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods

Pratik Deshmukh, Kartik Arya, Vasili Savin

We present Veriphi, a GPU-accelerated neural network verification system that combines fast adversarial attacks with formal bound certification using alpha,beta-CROWN methods. Thro…