ResearchTasksSemantic Alignment ClassificationSemantic Alignment ClassificationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedUART (test)AssertionForge325Count of SVA2May 26, 2026APB (test)AssertionForge442Count #SVA2May 26, 2026