| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Barrier 3 | LBP-based CBF Verification | Time (s)5.83 | 2 | 4d ago | |
| Barrier 2 | LBP-based CBF Verification | Time (s)1.66 | 2 | 4d ago | |
| Cart-Pole | LBP-based CBF Verification | Time (s)2,146.84 | 1 | 4d ago | |
| 2D-Control | LBP-based CBF Verification | Time (s)5.86 | 1 | 4d ago | |
| Darboux | LBP-based CBF Verification | Time (s)144.68 | 1 | 4d ago | |
| Barrier 4 | LBP-based CBF Verification | Time (s)25.37 | 1 | 4d ago |
