Neural Network Verification on cartpole
142Time (s)Clip-and-Verify
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Clip-and-VerifyClipping Strategy=Complete clipping2025.12 | 142 | 2,438,359 | |
| Clip-and-VerifyClipping Strategy=Relaxed clipping2025.12 | 484 | 16,453,971 | |
| α,β-CROWNClipping Strategy=No clipping2025.12 | 1,602 | 54,260,909 |