ResearchBenchmarksBound Propagation for Neural Network Verification on sat_reluBound Propagation for Neural Network Verification on sat_reluFollow58.99Propagation WidthLUNA56.040557.5152558.9960.46475Mar 25, 2026Evaluation resultsMethodMethodLinksPropagation WidthExecution Time (s)Verification Completion (%)LUNA2026.0358.990.5198AUTO_LiRPA2026.0358.995.1398