ResearchDatasetsSynthetic priority-graphSynthetic priority-graphFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsPrimary-edge violation detectionSynthetic priority-graph (held-out)0.936BT AUROC3Primary-edge violation detectionSynthetic priority-graph (edge-covered)0.945BT AUROC3