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

Neural Network Verification on MNIST Wide

1.5Execution Time

BDD+

-13.92490.188194.3298.412Oct 14, 2022
Updated 4d ago

Evaluation Results

MethodLinks
2022.10
1.5
2022.10
5.5
2022.10
8.3
2022.10
10.2
2022.10
10.4
2022.10
14.7
2022.10
36.4
2022.10
45.4
2022.10
52.4
2022.10
73.3
2022.10
91.3
2022.10
119.2
2022.10
387.1