Branch and Bound for Relational Verification of Neural Networks

Kota Fukuda, Zhenya Zhang, Guanqin Zhang, Jianjun Zhao EMSOFT 2026 (TCAD)