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

Neural Network Verification on cifar100-tinyimagenet VNN-COMP 2022

11.95Verification Time (s)

beta-CROWN

4.983652.006899.03146.0532Dec 31, 2024
Updated 1mo ago

Evaluation Results

MethodLinks
2024.12
11.9569
2024.12
13.3872
2024.12
18.4269
2024.12
39.4361
2024.12
40.2776
2024.12
186.1127