1.8k citations · 3.9k across the 26 of their papers we have counts for
1 paper · 1 filter
Zhouxing Shi, Huan Zhang, Kai-Wei Chang +2
Robustness verification that aims to formally certify the prediction behavior of neural networks has become an important tool for understanding model behavior and obtaining safety…