48 citations · 77 across the 5 of their papers we have counts for
1 paper · 1 filter
Pengfei Yang, Renjue Li, Jianlin Li +5
We propose a spurious region guided refinement approach for robustness verification of deep neural networks. Our method starts with applying the DeepPoly abstract domain to analyze…