ResearchBenchmarksBound Propagation for Neural Network Verification on malbewareBound Propagation for Neural Network Verification on malbewareFollow5.42Result WidthLUNA5.1495.28455.425.5555Mar 25, 2026Evaluation resultsMethodMethodLinksResult WidthExecution Time (s)Finished CountLUNA2026.035.424.26150AUTO_LiRPA2026.035.425.3150