Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Neural Network Verification on MNIST Deep

2.5Time

BDD+

-82.688492.3311,067.351,642.369Oct 14, 2022
Updated 1mo ago

Evaluation Results

MethodLinks
2022.10
2.5
2022.10
4.8
2022.10
10.9
2022.10
15.4
2022.10
16.9
2022.10
23.1
2022.10
51.7
2022.10
52.4
2022.10
138.9
2022.10
174.1
2022.10
289.3
2022.10
324.1
2022.10
2,132.2