ResearchDatasetsToolBench & TaskBenchFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsAND-violation rate estimationToolBench G3 & TaskBench DAG 383 conjunctive instances (Synthetic)0Synthetic Violation Rate3
AND-violation rate estimationToolBench G3 & TaskBench DAG 383 conjunctive instances (Synthetic)0Synthetic Violation Rate3