Παρακολούθηση
Jiawei Wang
Jiawei Wang
University of Southern California
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα usc.edu
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.