Verifying Conformance of Neural Network Models. Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

November 4, 2019

Date in CU Experts

May 5, 2020 10:26 AM

Full Author List

Narasimhamurthy M; Kushner T; Dutta S; Sankaranarayanan S

author count

4

citation count

2

published in

ICCAD / IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design Journal

presented at event

38th IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Conference

Other Profiles

International Standard Serial Number (ISSN)

1933-7760