alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Netw...
Neural Network Verification Software Tool