Hyperplane Input Space Cuts for Neural Network Verification. - Jonathan Hjort; Ahmed Rezine (DATE, 2026)