| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| VERI-FORMALIZE | Ours | Pass@1174 | 10 | 2mo ago | |
| VERI-REASON | Ours | Pass@1213 | 10 | 2mo ago | |
| FOR-COUNTER | Ours | Pass@1222 | 10 | 2mo ago | |
| SAIR hard3 Official (n=20) | AN38 | Accuracy65.3 | 3 | 1mo ago | |
| SAIR hard3 Local (n=400) | AN45c | Accuracy79.25 | 3 | 1mo ago |
