NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang. NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020. pages 784-796, IEEE, 2020. [doi]

This author has not been identified. Look up 'Brandon Paulsen' in GoogleThis author has not been identified. Look up 'Jingbo Wang' in GoogleThis author has not been identified. Look up 'Jiawei Wang' in GoogleThis author has not been identified. Look up 'Chao Wang' in Google

runs on WebDSL