ResearchDatasetsLogicNLIFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsLogical ReasoningLogicNLI63.55Accuracy26Natural Language InferenceLogicNLI41Accuracy26NL-to-FOL Syntax CorrectnessLogicNLI (test)99Syntax Correctness Rate26First-Order Logic ReasoningLogicNLI76.6Pass@118