ResearchDatasetsMiconic domainFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsQNP abstraction generationMiconic domain (eval)40Coverage Rate8