Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
QNP abstraction generation on Miconic domain (eval)
Loading...
40
Coverage Rate
GPT
-1.6
9.2
20
30.8
Feb 11, 2026
Coverage Rate
Updated 3mo ago
Evaluation Results
Method
Method
Links
Coverage Rate
GPT
Automated Debugging=true
2026.02
40
GPT
Automated Debugging=false
2026.02
0
Gemini
Automated Debugging=true
2026.02
0
Gemini
Automated Debugging=false
2026.02
0
DeepSeek
Automated Debugging=true
2026.02
0
DeepSeek
Automated Debugging=false
2026.02
0
Qwen
Automated Debugging=true
2026.02
0
Qwen
Automated Debugging=false
2026.02
0
Feedback
Search any
task
Search any
task
