RTL code functionality equivalence checking on DeepRTL2 Benchmark
74.5AP
UniRTL
Updated 2d ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.05 | 74.5 | 74.7 | 75.3 | 73.4 | 77.3 | |
2026.05 | 73 | 73.3 | 75.3 | 61.3 | 97.3 | |
2026.05 | 71.2 | 66.7 | 71.7 | 57.7 | 94.7 | |
2025.05 | 66.7 | - | - | - | - | |
2026.05 | 64.6 | 69.5 | 73.7 | 59.7 | 96.4 | |
2026.05 | 63.1 | 64 | 72.9 | 58.7 | 96 | |
2026.05 | 62.8 | 66.7 | 73.6 | 60.2 | 94.7 | |
2026.05 | 59.9 | 64 | 72.4 | 58.7 | 94.7 | |
2025.05 | 59.1 | - | - | - | - | |
2025.05 | 56.5 | - | - | - | - | |
2026.05 | 56.4 | 58.7 | 68.7 | 55.3 | 90.7 | |
2026.05 | 55.4 | 60.7 | 66.7 | 54.7 | 85.3 | |
2026.05 | 54.3 | 61.3 | 69.6 | 54.5 | 96 | |
2025.05 | 54.1 | - | - | - | - | |
2025.05 | 51.8 | - | - | - | - | |
2025.05 | 49.8 | - | - | - | - | |
2025.05 | 48.1 | - | - | - | - |