QNP abstraction generation on Miconic domain (eval)
40Coverage RateGPT
Evaluation results
| Method | Links | |
|---|---|---|
| GPTAutomated Debugging=true2026.02 | 40 | |
| GPTAutomated Debugging=false2026.02 | 0 | |
| GeminiAutomated Debugging=true2026.02 | 0 | |
| GeminiAutomated Debugging=false2026.02 | 0 | |
| DeepSeekAutomated Debugging=true2026.02 | 0 | |
| DeepSeekAutomated Debugging=false2026.02 | 0 | |
| QwenAutomated Debugging=true2026.02 | 0 | |
| QwenAutomated Debugging=false2026.02 | 0 |