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

Neural Network Verification on CIFAR-10 Wide

78.32Verification Time (s)

β-CROWN FSB

-33.3928720.66861,474.732,228.7914Mar 11, 2021
Updated 1mo ago

Evaluation Results

MethodLinks
2021.03
78.32116,912.572
2021.03
118.26217,691.243
165.5311,214.444
165.912,233.13
172.654,050.593
280.3817,895.946
495.8880,519.859
2021.03
505.6574,203.1110
2021.03
632.2-9
2021.03
1,367.38372.7415
2021.03
2,417.53-46
2021.03
2,871.14812.6549