ResearchDatasetsLogicNLILogicNLIFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsLogical ReasoningLogicNLI63.55Accuracy26Natural Language InferenceLogicNLI41Accuracy26NL-to-FOL Syntax CorrectnessLogicNLI (test)99Syntax Correctness Rate26First-Order Logic ReasoningLogicNLI76.6Pass@118