6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
Zhuolin Yang, Zhikuan Zhao, Boxin Wang +8
Intensive algorithmic efforts have been made to enable the rapid improvements of certificated robustness for complex ML models recently. However, current robustness certification m…