CIFAR
Benchmarks
Task NameDataset NameSOTA ResultTrendResults
CIFAR-10 (held-out)
8.57Std Dev (Before)
1
cifar10
2,274Proving Time (s)
1
CIFAR10
1.424Unprotected DNN Runtime (ms)
1
CIFAR-100
9.38Latency (ms)
1
CIFAR-10
3.01Latency (ms)
1
CIFAR-100
0.51Bound
1
CIFAR-100
35.75PSNR (dB)
1
CIFAR-10
36.16PSNR (dB)
1
CIFAR-10
38.42Donor Best Top-1 Accuracy Change
1
CIFAR-100
46.08Donor Best Top-1 Accuracy Change
1
CIFAR10
0.285ECS (T=1)
1
CIFAR-10 (test)
46.12Verified Robustness (Real)
1
CIFAR-10 Downstream from STL-10 Pre-training
0.88Anomaly Index
1
CIFAR-10 (test)
0.232Delta P(target)
1
CIFAR-10 100-C (test)
1.77Gain
1
CIFAR-10
100Robustness (%)
1
CIFAR-10
1.85Latency (µs)
1
CIFAR-100 B100Inc0 (T=0)
73.07Accuracy
1
CIFAR-100 (test)
0.08LPIPS Mean
1
CIFAR-10
100Density
1
CIFAR-100 Average across label settings
1.29Performance Gain
1
CIFAR10-C
1.17Training Speed-up Factor
1
CIFAR-10 (train+test)
0.715DP
1
CIFAR-10 1000 labels
93.05Accuracy
1
CIFAR-100 (test)
70.3Top-1 Accuracy (eps=1)
1