ResearchTasksAnalog Neural Network VerificationAnalog Neural Network VerificationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA 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