ResearchBenchmarksNeural Network Verification on CIFAR SGD first 1000 images (val)Follow-1.5Relative BoundBDD+-1.756-0.0281.73.428Oct 14, 2022Evaluation ResultsMethodMethodLinksRelative BoundBDD+Setting=single-stageSetting=single-stage2022.10-1.5LPSetting=single-stageSetting=single-stage2022.10-1.2AndersonSetting=single-stageSetting=single-stage2022.10-0.7ASSetting=single-stageSetting=single-stage2022.10-0.5ZD-2DSetting=single-stageSetting=single-stage2022.100ZD-MIPSetting=single-stageSetting=single-stage2022.104.9