Formal Instruction Generation on Port
64.98Total Time (s)MAFIG
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| MAFIGbackbone=Qwen2.5-Coder-7B2026.04 | 64.98 | 0.33 | 98.49 | |
| Qwen2.5-Coder-7B2026.04 | 69.2 | 0.35 | 25.62 | |
| Qwen3-Coder-480B-A35B-Instruct2026.04 | 896.53 | 4.51 | 85.93 | |
| Qwen3-32B2026.04 | 1,763.73 | 8.86 | 62.31 | |
| DeepSeek-V3.22026.04 | 1,827.28 | 9.18 | 86.43 | |
| GLM-4.72026.04 | 5,460.58 | 27.44 | 89.95 |