Guanqin Zhang

Mining Verdict Boundaries for Neural Network Verification

Jiawei Ren, Guanqin Zhang, Zhenya Zhang, Yulei Sui

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 problem-splitting history can be represented as a tree, where each subproblem corresponds to a child nod…Read more