Mining Verdict Boundaries for Neural Network Verification

Jiawei Ren, Guanqin Zhang, Zhenya Zhang +1

Branch and Bound (BaB) aims to achieve complete verification of neural networks by adaptively partitioning the problem and applying off-the-shelf verifiers to subproblems. Its prob…