Formal Verification on Deep Learning Instructions of GPU Author(s): Jian (Jeffrey) Wang and Jia Zhu Location: United States Year: 2018 Type: Paper Format: pdf Download
