Verification of Dynamical Systems on NonLipschitzVectorField2
100Certification RateCertified Neural Approximations
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Certified Neural ApproximationsNetwork=[12, 10], Dim=2, Time (s)=0.082025.05 | 100 | — | |
| Certified Neural ApproximationsNetwork=3x[64], Dim=2, Time (s)=11.932025.05 | 100 | — |