Verification on Synthetic Boolean
75.87AUROC
CRV
Updated 4d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2025.10 | 75.87 | 0.97 | 79.17 | |
2025.10 | 58.81 | 0.34 | 95.2 | |
2025.10 | 58.77 | 0.36 | 91.41 | |
2025.10 | 57.37 | 0.29 | 91.02 | |
2025.10 | 53.63 | 0.26 | 88.56 | |
2025.10 | 53.62 | 0.24 | 97.13 | |
2025.10 | 53.56 | 0.24 | 97.55 | |
2025.10 | 53.17 | 0.33 | 92.85 | |
2025.10 | 52.91 | 0.25 | 88.42 | |
2025.10 | 51.08 | 0.28 | 95.11 | |
2025.10 | 51.03 | 0.38 | 92.07 |