Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Multi-Class Formal Verification on fashion robust
Loading...
118.76
PAR2 Runtime
SViM
-103.1936
1,394.9932
2,893.18
4,391.3668
Feb 7, 2026
PAR2 Runtime
% Verified
Updated 1mo ago
Evaluation Results
Method
Method
Links
PAR2 Runtime
% Verified
SViM
#Class=10, Dep.=6, #Tr...
2026.02
118.76
0
Kant
#Class=10, Dep.=6, #Tr...
2026.02
5,667.6
0
Feedback
Search any
task
Search any
task
