Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Multi-Class Formal Verification on MNIST ori unrobust
Loading...
76
PAR2 Runtime
SViM
-64.4788
883.7531
1,831.985
2,780.2169
Feb 7, 2026
PAR2 Runtime
Verification Success Rate (%)
Updated 1mo ago
Evaluation Results
Method
Method
Links
PAR2 Runtime
Verification Success Rate (%)
SViM
#Class=10, Dep.=6, #Tr...
2026.02
76
0
Kant
#Class=10, Dep.=6, #Tr...
2026.02
3,587.97
0
Feedback
Search any
task
Search any
task
