Accepted paper at DATE 2026 November 13, 2025 | 0 Minute Read On “Hyperplane Input Space Cuts for Neural Network Verification” with Jonathan Hjort. Paper accepted for publication at the Design, Automation and Test in Europe Conference (DATE 2026).