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

Guanqin Zhang, Kota Fukuda, Zhenya Zhang, Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui ECOOP 2025
Download Paper | Download Slides