Example Guided Synthesis of Linear Approximations for Neural Network Verification
Authors: Brandon Paulsen and Chao Wang
Paper Information
Title: | Example Guided Synthesis of Linear Approximations for Neural Network Verification |
Authors: | Brandon Paulsen and Chao Wang |
Proceedings: | CAV 2022 All Papers |
Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
Keywords: | Neural Networks, Neural Network Verification, Robustness Verification, Linear Bounding, Linear Approximation |
Pages: | 21 |
Talk: | Aug 07 14:20 (Session 90A: Formal Methods for Neural Networks) |
Paper: |