ResearchDatasetsSatBenchSatBenchFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsLogical ReasoningSATBench70Accuracy5Natural Language to Propositional Logic TranslationSatBench—Primary metric0