ResearchDatasetsFormalRxFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsVerdictFormalRx (test)83.2Accuracy13CorrectionFormalRx (test)4,551ExMatch11LocalizationFormalRx (test)4,563ExMatch11CategorizationFormalRx (test)64.4Accuracy11