Wang. Efficient Neural Network Verification Using Branch and Bound. Columbia University, 2022, doi:10.7916/1d0q-xf08.