Semantic Alignment Classification on UART (test)
325Count of SVA
AssertionForge
Updated 8d ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.05 | 325 | 0.06 | 21 | 142 | 162 | |
2026.05 | 319 | 0.28 | 92 | 6 | 227 |
AssertionForge
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.05 | 325 | 0.06 | 21 | 142 | 162 | |
2026.05 | 319 | 0.28 | 92 | 6 | 227 |