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]
@inproceedings{Narasimhamurthy19-0, title = {Verifying Conformance of Neural Network Models: Invited Paper}, author = {Monal Narasimhamurthy and Taisa Kushner and Souradeep Dutta and Sriram Sankaranarayanan 0001}, year = {2019}, doi = {10.1109/ICCAD45719.2019.8942151}, url = {https://doi.org/10.1109/ICCAD45719.2019.8942151}, researchr = {https://researchr.org/publication/Narasimhamurthy19-0}, cites = {0}, citedby = {0}, pages = {1-8}, booktitle = {Proceedings of the International Conference on Computer-Aided Design, ICCAD 2019, Westminster, CO, USA, November 4-7, 2019}, editor = {David Z. Pan}, publisher = {ACM}, isbn = {9781728123509}, }