General Cutting Planes for Bound-Propagation-Based Neural Network Verification - Zhang, Huan; Wang, Shiqi; Xu, Kaidi; Li, Linyi; Li, Bo; Jana, Suman; Hsieh, Cho-Jui; Kolter, J. Zico (Advances in Neural Information Processing Systems, 2022)