ResearchTasksLogical Reasoning VerificationLogical Reasoning VerificationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedSAIR official benchmark (hard2)AN45c48Official Accuracy2Apr 23, 2026