ResearchDatasetsPriority GraphFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsAny-violation detectionPriority Graph (held-out)94.6AUROC (BT)3Any-violation detectionPriority Graph (edge-covered)0.946BT AUROC3