Training for Verification: Increasing Neuron Stability to Scale DNN Verification.

Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer

Browse the full TACAS paper archive.