ResearchDatasetsFormalRxFormalRxFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsVerdictFormalRx (test)83.2Accuracy13CorrectionFormalRx (test)4,551ExMatch11LocalizationFormalRx (test)4,563ExMatch11CategorizationFormalRx (test)64.4Accuracy11