Example Guided Synthesis of Linear Approximations for Neural Network Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Brandon Paulsen, Chao Wang 0001. Example Guided Synthesis of Linear Approximations for Neural Network Verification. In Sharon Shoham, Yakir Vizel, editors, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I. Volume 13371 of Lecture Notes in Computer Science, pages 149-170, Springer, 2022. [doi]

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

runs on WebDSL