Reluplex made more practical: Leaky ReLU.

Jin Xu, Zishan Li, Bowen Du, Miaomiao Zhang, Jing Liu

Browse the full ISCC paper archive.