ResearchBenchmarksBound Propagation for Neural Network Verification on metaroom 2023Bound Propagation for Neural Network Verification on metaroom 2023Follow0.16Propagation WidthLUNA0.1520.1560.160.164Mar 25, 2026Evaluation resultsMethodMethodLinksPropagation WidthExecution Time (s)Completion RateLUNA2026.030.161.68100AUTO_LiRPA2026.030.165.395