research
∙
10/26/2021
Improving Local Effectiveness for Global robust training
Despite its popularity, deep neural networks are easily fooled. To allev...
share
research
∙
07/27/2021
Neural Network Branch-and-Bound for Neural Network Verification
Many available formal verification methods have been shown to be instanc...
research
∙
12/03/2019
Neural Network Branching for Neural Network Verification
Formal verification of neural networks is essential for their deployment...
research
∙
09/14/2019
