@inproceedings {neurify:nips18,
        author = {Shiqi Wang and Kexin Pei and Justin Whitehouse and Junfeng Yang and Suman Jana},
        title = {Efficient Formal Safety Analysis of Neural Networks},
        year = {2018},
        booktitle = {Proceedings of the Thirty-second Annual Conference on Neural Information Processing Systems (NeurIPS)},
}