ResearchDatasetsSAT ProblemsSAT ProblemsFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsAnalogy SolvingSAT Problems58.8Accuracy20