Showing cs.LGShow all
2 papers · 1 filter
cs.LG2020
A Sequential Framework Towards an Exact SDP Verification of Neural Networks
Ziye Ma, Somayeh Sojoudi
Although neural networks have been applied to several systems in recent years, they still cannot be used in safety-critical systems due to the lack of efficient techniques to certi…
cs.LG2020
Tightened Convex Relaxations for Neural Network Robustness Certification
Brendon G. Anderson, Ziye Ma, Jingqi Li +1
In this paper, we consider the problem of certifying the robustness of neural networks to perturbed and adversarial input data. Such certification is imperative for the application…