Bojan Karlaš

Improving Certified Robustness via Statistical Learning with Logical Reasoning

2020 · arXiv (Cornell University)

Intensive algorithmic efforts have been made to enable the rapid improvements of certificated robustness for complex ML models recently. However, current robustness certification methods are only able to certify under a limited perturbation radius. Given …