QNP Abstraction Generation on Ferry domain (evaluation)
1Coverage RateGPT
Evaluation results
| Method | Links | |
|---|---|---|
| GPTAutomated Debugging=true2026.02 | 1 | |
| GeminiAutomated Debugging=true2026.02 | 1 | |
| DeepSeekAutomated Debugging=true2026.02 | 0.55 | |
| GPTAutomated Debugging=false2026.02 | 0.15 | |
| GeminiAutomated Debugging=false2026.02 | 0.15 | |
| DeepSeekAutomated Debugging=false2026.02 | 0 | |
| QwenAutomated Debugging=true2026.02 | 0 | |
| QwenAutomated Debugging=false2026.02 | 0 |