ResearchDatasetsProofWProofWFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsLogical ReasoningProofW83.7Accuracy80Logical ReasoningProofW77.5Accuracy11