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

Robustness Verification on make_moons

100Certified Accuracy (eps=0.05)

Neurify

Updated 1mo ago

Evaluation Results

Method	Links
Neurify 2026.02		100	99	97	97	95	92	85	69	49	36
BaB 2026.02		100	99	97	97	95	92	85	68	49	36
NSVerify 2026.02		100	99	97	97	95	92	85	69	49	36
Reluplex 2026.02		100	99	97	97	95	92	85	69	49	36
MIP 2026.02		100	99	97	97	95	92	85	69	49	36
Benders 2026.02		100	99	97	97	95	92	85	69	49	36
MIP 2026.02		100	100	99	97	95	92	89	82	72	49
Benders 2026.02		100	100	99	97	95	92	89	82	72	49
Duality 2026.02		100	95	84	74	63	49	44	36	26	19
DLV 2026.02		100	95	84	74	63	49	44	36	26	19
MaxSens 2026.02		100	90	78	67	56	44	39	32	22	12
MIP 2026.02		100	96	85	76	66	52	46	38	31	21
Benders 2026.02		100	96	85	76	66	52	46	38	30	21
AI2 2026.02		99	98	97	95	93	89	70	46	30	25
FastLin 2026.02		99	98	97	95	93	89	70	46	30	25
FastLip 2026.02		99	98	97	95	93	89	70	46	30	25
ReluVal 2026.02		99	98	97	94	89	81	64	43	31	25
Sherlock 2026.02		99	98	97	95	93	90	74	59	37	29
Duality 2026.02		99	93	79	47	42	38	29	19	8	0
DLV 2026.02		99	93	79	47	42	38	29	19	8	0
MaxSens 2026.02		99	91	73	41	38	33	26	15	6	0
MaxSens 2026.02		98	89	64	37	15	9	6	2	0	0