Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

Mixed Integer Linear Programming (MILP) solving on NN Verification

37.5Median Relative Time Improvement (%)

L2Sep

-313.5-222.375-131.25-40.125Nov 8, 2023
Updated 4d ago

Evaluation Results

MethodLinks
2023.11
37.5-33.9
2023.11
31.5-36.3
2023.11
31.4-38.3
2023.11
30.7-34.1
2023.11
031.42-
2023.11
-300-152.3