Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes - Zhou, Duo; Brix, Christopher; Hanasusanto, Grani A; Zhang, Huan (Advances in Neural Information Processing Systems, 2024)