Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification - Wang, Shiqi; Zhang, Huan; Xu, Kaidi; Lin, Xue; Jana, Suman; Hsieh, Cho-Jui; Kolter, J. Zico (Advances in Neural Information Processing Systems, 2021)