|Efficient formal safety analysis of neural networks|
S Wang, K Pei, J Whitehouse, J Yang, S Jana
Advances in Neural Information Processing Systems, 6367-6377, 2018
|Bringing Engineering Rigor to Deep Learning|
K Pei, S Wang, Y Tian, J Whitehouse, C Vondrick, Y Cao, B Ray, S Jana, ...
ACM SIGOPS Operating Systems Review 53 (1), 59-67, 2019