| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| tllverifybench 2023 | LUNA | Propagation Width207.98 | 2 | 23d ago | |
| sat_relu | LUNA | Propagation Width58.99 | 2 | 23d ago | |
| safenlp 2024 | LUNA | Propagation Width22.77 | 2 | 23d ago | |
| metaroom 2023 | LUNA | Propagation Width0.16 | 2 | 23d ago | |
| malbeware | LUNA | Result Width5.42 | 2 | 23d ago | |
| linearizenn 2024 | LUNA | Propagation Width43.44 | 2 | 23d ago | |
| cora 2024 | AUTO_LiRPA | Propagation Width12,067.97 | 2 | 23d ago | |
| collins_rul_cnn 2022 | LUNA | Propagation Width35.8 | 2 | 23d ago | |
| cifar100 2024 | LUNA | Propagation Width4.63 | 2 | 23d ago | |
| cersyve | LUNA | Width4.27 | 2 | 23d ago | |
| acasxu 2023 | LUNA | Propagation Width867.42 | 2 | 23d ago |
