Optimization and abstraction: a synergistic approach for analyzing neural network robustness - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri. Optimization and abstraction: a synergistic approach for analyzing neural network robustness. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 731-744, ACM, 2019. [doi]

This author has not been identified. Look up 'Greg Anderson' in GoogleThis author has not been identified. Look up 'Shankara Pailoor' in GoogleThis author has not been identified. Look up 'Isil Dillig' in GoogleThis author has not been identified. It may be one of the following persons:

Swarat Chaudhuri

Look up 'Swarat Chaudhuri' in Google

runs on WebDSL