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

Robustness Verification

Benchmarks

Dataset Name	SOTA Method	Metric
Iris dataset (test)		Vulnerable Samples0	90	4mo ago
Iris	Duality	Vulnerable Samples Count0	50	4mo ago
Iris Sigmoid Network	Duality	Vulnerable Samples0	50	4mo ago
CIFAR10	ZeroSplitVerifier	Samples Triggering Refinement50	32	1mo ago
MNIST Strokes	ZeroSplitVerifier	Samples Triggering Refinement50	32	1mo ago
MNIST (test)	ABSCERT	Verified Error Rate0.52	28	18d ago
make_moons	Neurify	Certified Accuracy (eps=0.05)100	22	4mo ago
ENZYMES Robust instances	RobLight	Solved Count559	20	4mo ago
CIFAR-10 epsilon=2/255 (first 200 examples)	β-CROWN FSB	Verified Accuracy54	20	4mo ago
7-class underwater plankton dataset (SilCam) (test)	Neural ODE-based classifier	Computation Time (s)0	16	18d ago
MNIST epsilon=0.3 (test)	MTL-IBP	Clean Accuracy98.8	16	1mo ago
CIFAR-10 (test)	SECURECROWN	Verified Error1.5	14	18d ago
MNIST first 100 images (test)	Super-DeepG	Certified Rate100	13	2mo ago
CIFAR10 first 100 images (test)	Super-DeepG	Certified Accuracy75	9	2mo ago
CIFAR (test)	BICCOS	Verification Rate62	9	4mo ago
7-class underwater plankton dataset (SilCam)	Neural ODE-based Classifier	Processing Time (s)0	8	18d ago
ENZYMES All instances	RobLight	Solved Count3,586	8	4mo ago
MNIST epsilon=0.3 (first 200 examples)	β-CROWN FSB	Verified Accuracy70.5	8	4mo ago
CIFAR	Clip-and-Verify	Verified Accuracy0.605	8	4mo ago
GTSRB	STBP (LJ Sampling)	PRSV99.98	6	1mo ago
OVAL 22	Clip-and-Verify	Verified Accuracy90	6	4mo ago
CIFAR-10	Clip-and-Verify	Verified Accuracy88.89	6	4mo ago
MNIST	BICCOS	Verified Accuracy76	6	4mo ago
MUTAG All instances	RobLight	Solved Count188	5	4mo ago
ENZYMES global budget Delta=2, local budget delta=2	RobLight	All Instances Solved599	5	4mo ago

Showing 25 of 30 rows