SVA Generation on FVEval Design2SVA (FSM Designs)
86Func@1ProofLoop
Evaluation results
| Method | Links | ||
|---|---|---|---|
| ProofLoopBackbone=Qwen3.5-35B2026.04 | 86 | 95.8 | |
| Gemini-1.5-Pro2026.04 | 42.7 | 90.6 | |
| GPT-4o2026.04 | 37.3 | 90 | |
| Llama-3.1-70B2026.04 | 23.1 | 71.9 | |
| Llama-3.1-8B2026.04 | 12.1 | 52.1 | |
| Gemini-1.5-Flash2026.04 | 7.9 | 28.1 | |
| Mixtral-8x22B2026.04 | 5.4 | 16.7 |