VERINA
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Specification Synthesis | VERINA | Pass@186.6 | 10 | |
| Theorem Proving | VERINA (advanced) | Solved Tests (Correct)57 | 8 | |
| Theorem Proving | VERINA basic | Correct Solved Tests Count102 | 8 | |
| Code Verification | VERINA | Success Count176 | 8 | |
| Formal Specification Synthesis | VERINA SpecGen (test) | Pass@130.3 | 3 | |
| Code Generation | VERINA CodeGen (test) | Pass@135.4 | 3 |
Showing 6 of 6 rows