Formal Specification Synthesis on VERINA SpecGen (test)
30.3Pass@1SFT No-Test
Evaluation results
| Method | Links | |
|---|---|---|
| SFT No-TestModel variant=SFT No-Test2026.04 | 30.3 | |
| Merged (α=0.2)Model variant=Merged (α=0.2), Interpolation Weight=0.22026.04 | 15.6 | |
| Qwen3-4B-Instruct-2507Model variant=Base Model2026.04 | 14.7 |