ResearchDatasetsProofWFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsLogical ReasoningProofW83.7Accuracy80Logical ReasoningProofW77.5Accuracy11