Följ
Jiawei Wang
Jiawei Wang
University of Southern California
Verifierad e-postadress på usc.edu
Titel
Citeras av
Citeras av
År
NEURODIFF: scalable differential verification of neural networks using fine-grained approximation
B Paulsen, J Wang, J Wang, C Wang
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
322020
Systemet kan inte utföra åtgärden just nu. Försök igen senare.