ResearchTasksRTL code functionality equivalence checkingFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedDeepRTL2 BenchmarkUniRTL74.5AP17Jun 1, 2026