University of Illinois Urbana-Champaign; University of Illinois Urbana-Champaign, VMware Research
Debangshu Banerjee, Avaljot Singh, Gagandeep Singh
Neural Network Verification;Robustness;Certification
Interpreting Robustness Proofs of Deep Neural Networks