Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan 0001. Verifying Conformance of Neural Network Models: Invited Paper. In David Z. Pan, editor, Proceedings of the International Conference on Computer-Aided Design, ICCAD 2019, Westminster, CO, USA, November 4-7, 2019. pages 1-8, ACM, 2019. [doi]
Abstract is missing.