ResearchDatasetslsncFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsNeural Network Verificationlsnc VNN-COMP84.3Verification Time (s)5