ResearchDatasetsFormal LogicFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsLogical ReasoningFormal Logic87.8Accuracy136