APA (7th ed.) Citation

Zhang, G., Fukuda, K., Zhang, Z., Bandara, H. M. N. D., Chen, S., Zhao, J., & Sui, Y. (2025). Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees.

Chicago Style (17th ed.) Citation

Zhang, Guanqin, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, and Yulei Sui. Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. 2025.

MLA (9th ed.) Citation

Zhang, Guanqin, et al. Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. 2025.