Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification.

Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao

Browse the full DATE paper archive.