Primary-edge violation detection on Synthetic priority-graph (held-out)
0.936BT AUROCPrimary-edge monitor
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Primary-edge monitorModel=7B2026.06 | 0.936 | 0.844 | 0.091 | |
| Primary-edge monitorModel=14B2026.06 | 0.92 | 0.732 | 0.188 | |
| Primary-edge monitorModel=3B2026.06 | 0.847 | 0.651 | 0.197 |