ResearchBenchmarksNeural Network Verification on CIFAR SGDFollow1.5Time (s)BDD+0.7086.05411.416.746Oct 14, 2022Evaluation ResultsMethodMethodLinksTime (s)BDD+Verification Setting=S...Verification Setting=Single-stage2022.101.5LPVerification Setting=S...Verification Setting=Single-stage2022.106.2ZD-2DVerification Setting=S...Verification Setting=Single-stage2022.107.6ASVerification Setting=S...Verification Setting=Single-stage2022.1010.2ZD-MIPVerification Setting=S...Verification Setting=Single-stage2022.1011AndersonVerification Setting=S...Verification Setting=Single-stage2022.1021.3