'Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification', by Brendon G. Anderson, Ziye Ma, Jingqi Li, Somayeh Sojoudi.
http://jmlr.org/papers/v26/21-0068.html
#minimizes #robustness #adversarial