Share your thoughts, 1 month free Claude Pro on usSee more

Home/Benchmarks

Multi-Class Formal Verification on Iris

0.01PAR2 Runtime

SViM

Updated 1mo ago

Evaluation Results

Method	Links
SViM 2026.02		0.01	2
Kant 2026.02		0.01	2

SOTA Paper

SViM

Data-Aware and Scalable Sensitivity Analysis for Decision Tree Ensembles

Dataset

Iris

Follow for update

@wizwand_team Discord

Related Benchmarks

Multi-Class Formal Verification on covtype robust Multi-Class Formal Verification on covtype unrobust Multi-Class Formal Verification on fashion robust Multi-Class Formal Verification on fashion unrobust Multi-Class Formal Verification on MNIST ori robust

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs