ResearchTasksLinguistically Diverse ReasoningFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedProverQAAR94Accuracy (Easy)8May 12, 2026