ResearchBenchmarksMulti-Class Formal Verification on MNIST ori unrobustFollow76PAR2 RuntimeSViM-64.4788883.75311,831.9852,780.2169Feb 7, 2026Evaluation ResultsMethodMethodLinksPAR2 RuntimeVerification Success Rate (%)SViM#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.02760Kant#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.023,587.970