Our new X account is live! Follow @wizwand_team for updates

Home/Benchmarks

Multi-Class Formal Verification on Iris

0.01PAR2 Runtime

SViM

Updated 4d 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

Privacy Policy Terms of Service FAQs