Efficient Neural Network Verification And Training