ResearchTasksNatural Language to Propositional Logic TranslationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedSatBench——Primary metric0Apr 14, 2026