Example Guided Synthesis of Linear Approximations for Neural Network Verification.

Brandon Paulsen, Chao Wang

Browse the full CAV paper archive.