ResearchTasksSemantic Alignment ClassificationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedUART (test)AssertionForge325Count of SVA2May 26, 2026APB (test)AssertionForge442Count #SVA2May 26, 2026