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	3mo ago
Iris	Duality	Vulnerable Samples Count0	50	3mo ago
Iris Sigmoid Network	Duality	Vulnerable Samples0	50	3mo ago
make_moons	Neurify	Certified Accuracy (eps=0.05)100	22	3mo ago
ENZYMES Robust instances	RobLight	Solved Count559	20	2mo ago
CIFAR-10 epsilon=2/255 (first 200 examples)	β-CROWN FSB	Verified Accuracy54	20	3mo ago
MNIST epsilon=0.3 (test)	MTL-IBP	Clean Accuracy98.8	16	22h ago
MNIST first 100 images (test)	Super-DeepG	Certified Rate100	13	1mo ago
MNIST (test)	ABSCERT	Verified Error Rate0.52	10	3mo ago
CIFAR10 first 100 images (test)	Super-DeepG	Certified Accuracy75	9	1mo ago
CIFAR (test)	BICCOS	Verification Rate62	9	3mo ago
ENZYMES All instances	RobLight	Solved Count3,586	8	2mo ago
MNIST epsilon=0.3 (first 200 examples)	β-CROWN FSB	Verified Accuracy70.5	8	3mo ago
CIFAR	Clip-and-Verify	Verified Accuracy0.605	8	3mo ago
CIFAR-10 (test)	ABSCERT	Verified Error14.12	7	3mo ago
OVAL 22	Clip-and-Verify	Verified Accuracy90	6	3mo ago
CIFAR-10	Clip-and-Verify	Verified Accuracy88.89	6	3mo ago
MNIST	BICCOS	Verified Accuracy76	6	3mo ago
MUTAG All instances	RobLight	Solved Count188	5	2mo ago
ENZYMES global budget Delta=2, local budget delta=2	RobLight	All Instances Solved599	5	2mo ago
MUTAG global budget Delta=2, local budget delta=2	RobLight	Solved Count (All Instances)188	5	2mo ago
tinyimagenet 2024	Clip-and-Verify	Verified Accuracy (%)72	4	3mo ago
cifar100 2024	Clip-and-Verify	Verified Accuracy65.5	4	3mo ago
vision-transformer 2024	Clip-and-Verify	Verified Accuracy61	2	3mo ago
GTSRB	Lipschitz Optimization for Formal Verification of Homographies	Robustness Ratio (Roll)0	1	9d ago

Showing 25 of 26 rows