Reluplex made more practical: Leaky ReLU | IEEE Conference Publication | IEEE Xplore