Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

RTL code functionality equivalence checking on DeepRTL2 Benchmark

74.5AP

UniRTL

47.04454.17261.368.428May 28, 2025Jul 28, 2025Sep 27, 2025Nov 27, 2025Jan 27, 2026Mar 29, 2026May 29, 2026
Updated 2d ago

Evaluation Results

MethodLinks
2026.05
74.574.775.373.477.3
2026.05
7373.375.361.397.3
2026.05
71.266.771.757.794.7
2025.05
66.7----
2026.05
64.669.573.759.796.4
2026.05
63.16472.958.796
2026.05
62.866.773.660.294.7
2026.05
59.96472.458.794.7
2025.05
59.1----
2025.05
56.5----
2026.05
56.458.768.755.390.7
2026.05
55.460.766.754.785.3
2026.05
54.361.369.654.596
2025.05
54.1----
2025.05
51.8----
2025.05
49.8----
2025.05
48.1----