Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Multi-Class Formal Verification on fashion unrobust
Loading...
67.63
PAR2 Runtime
SViM
-129.7288
1,202.4431
2,534.615
3,866.7869
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
67.63
0
Kant
#Class=10, Dep.=6, #Tr...
2026.02
5,001.6
0
Feedback
Search any
task
Search any
task
