TY  - RPRT
TI  - Branch and Bound for Relational Verification of Neural Networks
AU  - Kota Fukuda
AU  - Zhenya Zhang
AU  - Guanqin Zhang
AU  - Jianjun Zhao
PY  - 2026
UR  - https://arxiv.org/abs/2608.13118
ID  - 2608.13118
ER  -