Detecting Deep Neural Network Defects with Data Flow Analysis.
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021
Data Sanity Check for Deep Learning Systems via Learnt Assertions.
CoRR, 2019
Detecting Deep Neural Network Defects with Data Flow Analysis.
CoRR, 2019