Inductive Prolog Rule Synthesis on SLR-Bench Easy tier 1 (250 tasks)
100AccuracyBoK
Evaluation Results
| Method | Links | |
|---|---|---|
| BoKCategory=LLM-only methods2026.05 | 100 | |
| BoK + QOCategory=Hybrid (symbolic + LLM fallback)2026.05 | 100 | |
| BoK + CCCategory=Hybrid (symbolic + LLM fallback)2026.05 | 100 | |
| BoK + CC + QOCategory=Hybrid (symbolic + LLM fallback)2026.05 | 100 | |
| DF-32Category=LLM-only methods2026.05 | 99.6 | |
| DF + QOCategory=Hybrid (symbolic + LLM fallback)2026.05 | 99.6 | |
| DF + CCCategory=Hybrid (symbolic + LLM fallback)2026.05 | 99.6 | |
| DF + CC + QOCategory=Hybrid (symbolic + LLM fallback)2026.05 | 99.6 | |
| o3†Category=LLM-only methods2026.05 | 93 | |
| gpt-5†Category=LLM-only methods2026.05 | 90 | |
| Qwen3.6-35B-A3B (OpenHands)Category=LLM-only methods2026.05 | 86 | |
| CC SolverCategory=Symbolic solvers2026.05 | 78.4 | |
| QO SolverCategory=Symbolic solvers2026.05 | 71.2 |