ResearchDatasets3LF3LFFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsFormality Transfer3LF83F->I Precision3