QNP Abstraction Generation on Gripper domain (evaluation)
85Coverage RateGPT
Evaluation results
| Method | Links | |
|---|---|---|
| GPTAutomated Debugging=true2026.02 | 85 | |
| GeminiAutomated Debugging=true2026.02 | 30 | |
| DeepSeekAutomated Debugging=true2026.02 | 5 | |
| GPTAutomated Debugging=false2026.02 | 0 | |
| GeminiAutomated Debugging=false2026.02 | 0 | |
| DeepSeekAutomated Debugging=false2026.02 | 0 | |
| QwenAutomated Debugging=true2026.02 | 0 | |
| QwenAutomated Debugging=false2026.02 | 0 |