60 citations · 87 across the 10 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020★ 60 cited
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
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…
cs.LG2020★ 1 cited
On -norm Robustness of Ensemble Stumps and Trees
Yihan Wang, Huan Zhang, Hongge Chen +2
Recent papers have demonstrated that ensemble stumps and trees could be vulnerable to small input perturbations, so robustness verification and defense for those models have become…