ResearchDatasetslinearizennFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsBound Propagation for Neural Network Verificationlinearizenn 202443.44Propagation Width2