ResearchTasksLinguistically Diverse ReasoningLinguistically Diverse ReasoningFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedProverQAAR94Accuracy (Easy)8May 12, 2026