Robustness Verification on make_moons benchmark leaderboard · SOTA2 Research

Robustness Verification on make_moons

100Certified Accuracy (eps=0.05)Neurify

Evaluation Results

Method	Links
Neurify2026.02		100	99	97	97	95	92	85	69	49	36
BaB2026.02		100	99	97	97	95	92	85	68	49	36
NSVerify2026.02		100	99	97	97	95	92	85	69	49	36
Reluplex2026.02		100	99	97	97	95	92	85	69	49	36
MIP2026.02		100	99	97	97	95	92	85	69	49	36
Benders2026.02		100	99	97	97	95	92	85	69	49	36
MIP2026.02		100	100	99	97	95	92	89	82	72	49
Benders2026.02		100	100	99	97	95	92	89	82	72	49
Duality2026.02		100	95	84	74	63	49	44	36	26	19
DLV2026.02		100	95	84	74	63	49	44	36	26	19
MaxSens2026.02		100	90	78	67	56	44	39	32	22	12
MIP2026.02		100	96	85	76	66	52	46	38	31	21
Benders2026.02		100	96	85	76	66	52	46	38	30	21
AI22026.02		99	98	97	95	93	89	70	46	30	25
FastLin2026.02		99	98	97	95	93	89	70	46	30	25
FastLip2026.02		99	98	97	95	93	89	70	46	30	25
ReluVal2026.02		99	98	97	94	89	81	64	43	31	25
Sherlock2026.02		99	98	97	95	93	90	74	59	37	29
Duality2026.02		99	93	79	47	42	38	29	19	8	0
DLV2026.02		99	93	79	47	42	38	29	19	8	0
MaxSens2026.02		99	91	73	41	38	33	26	15	6	0
MaxSens2026.02		98	89	64	37	15	9	6	2	0	0