FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: