e1b248453bca182b6138b8c14a75340d-Paper-Conference.pdf

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 that existingpure data-driven statistical approaches have reached a bottleneck, in this paper, we propose to integrate statistical ML modelswithknowledge (expressed aslogical rules) asareasoningcomponent using Markovlogic networks (MLN), so as to further improvethe overall certified robustness.