ResearchBenchmarksNeural Network Verification on MNIST Wide first 1000 images (val)Follow-4.2Relative BoundBDD+-4.728-1.1642.45.964Oct 14, 2022Evaluation ResultsMethodMethodLinksRelative BoundBDD+Setting=single-stageSetting=single-stage2022.10-4.2LPSetting=single-stageSetting=single-stage2022.10-3.7AndersonSetting=single-stageSetting=single-stage2022.10-2.6ASSetting=single-stageSetting=single-stage2022.10-2.6ZD-2DSetting=single-stageSetting=single-stage2022.100ZD-MIPSetting=single-stageSetting=single-stage2022.109