ResearchTasksAnalog Neural Network VerificationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedMNISTProposed set-based modeling approach1.77Verification Time (s)4May 12, 2026IrisProposed set-based modeling approach1.15Time (s)2May 12, 2026Breast Cancer WisconsinCadence Spectre5Time (s)2May 12, 2026