Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees.

Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui

Browse the full ECOOP paper archive.