Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification

Re-assign community