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

Home/Benchmarks

Multi-Class Formal Verification on Red-Wine

3.83PAR2 Runtime

SViM

Updated 1mo ago

Evaluation Results

Method	Links
SViM 2026.02		3.83	1
Kant 2026.02		3.89	1

SOTA Paper

SViM

Data-Aware and Scalable Sensitivity Analysis for Decision Tree Ensembles

Dataset

Red-Wine

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