ResearchDatasetsSoftware reasoning tasksFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsQuality EvaluationSoftware reasoning tasks35.2Functional Correctness3