Improving Neural Network Verification through Spurious Region Guided Refinement

Open in new window