60 citations · 69 across the 4 of their papers we have counts for
1 paper · 1 filter
Kaidi Xu, Huan Zhang, Shiqi Wang +4
Formal verification of neural networks (NNs) is a challenging and important problem. Existing efficient complete solvers typically require the branch-and-bound (BaB) process, which…