ResearchDatasetscollins_rul_cnnFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsBound Propagation for Neural Network Verificationcollins_rul_cnn 202235.8Propagation Width2