Specification Synthesis on VERINA
86.6Pass@1
VERISPECGEN
Updated 3mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.04 | 86.6 | 27.6 | 46.8 | |
2026.04 | 72 | 21.3 | 42 | |
2026.04 | 68.5 | 31.8 | 86.7 | |
2026.04 | 59 | - | - | |
2026.04 | 50.7 | - | - | |
2026.04 | 50.3 | 21 | 71.7 | |
2026.04 | 36.7 | - | - | |
2026.04 | 29.3 | - | - | |
2026.04 | 23 | 7.2 | 45.6 | |
2026.04 | 15.8 | - | - |