Jingyue Lu

Neural Network Branching for Neural Network Verification

2020 · International Conference on Learning Representations

Formal verification of neural networks is essential for their deployment in safety-critical areas. Many available formal verification methods have been shown to be instances of a unified Branch and Bound (BaB) formulation. We propose a …