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

Open in new window