QNP abstraction generation on Heavy domain (evaluation)
100Coverage RateGPT
Evaluation results
| Method | Links | |
|---|---|---|
| GPTAutomated Debugging=true2026.02 | 100 | |
| GeminiAutomated Debugging=true2026.02 | 100 | |
| GeminiAutomated Debugging=false2026.02 | 100 | |
| GPTAutomated Debugging=false2026.02 | 75 | |
| DeepSeekAutomated Debugging=true2026.02 | 50 | |
| QwenAutomated Debugging=true2026.02 | 50 | |
| DeepSeekAutomated Debugging=false2026.02 | 0 | |
| QwenAutomated Debugging=false2026.02 | 0 |