EasyChair Smart Slide
Example Guided Synthesis of Linear Approximations for Neural Network Verification
Example Guided Synthesis of Linear Approximations for Neural Network Verification