ResearchBenchmarksMulti-Class Formal Verification on MNIST ori robustFollow108.76PAR2 RuntimeSViM-20.6484852.85831,726.3652,599.8717Feb 7, 2026Evaluation ResultsMethodMethodLinksPAR2 RuntimeVerification PercentageSViM#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.02108.760Kant#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.023,343.970