Goto

Collaborating Authors

 Asia



e1b248453bca182b6138b8c14a75340d-Paper-Conference.pdf

Neural Information Processing Systems

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.









First-order Stochastic Algorithms for Escaping From Saddle Points in Almost Linear Time

Neural Information Processing Systems

For finding a nearly second-orderstationary pointxsuchthatk F(x)k and 2F(x) I (in high probability), the best time complexity of the presented algorithms is eO(d/3.5),whereF(