List your company

ResearchFormerly WizWand

CovType

Benchmarks

TaskDatasetSOTA resultTrendResults

Third-order Shapley interaction calculation

CovType small

0.009Runtime

2

Multi-Class Formal Verification

covtype unrobust

213.78PAR2 Runtime

2

Multi-Class Formal Verification

covtype robust

139.08PAR2 Runtime

2