inductive Prolog rule synthesis on SLR-Bench Medium tier 250 tasks 1
88.8AccuracyDF + CC
Evaluation Results
| Method | Links | |
|---|---|---|
| DF + CCCategory=Hybrid (symbolic + LLM fallback)2026.05 | 88.8 | |
| DF + CC + QOCategory=Hybrid (symbolic + LLM fallback)2026.05 | 88.8 | |
| DF + QOCategory=Hybrid (symbolic + LLM fallback)2026.05 | 86.4 | |
| DF-32Category=LLM-only methods2026.05 | 84.4 | |
| o3†Category=LLM-only methods2026.05 | 74 | |
| gpt-5†Category=LLM-only methods2026.05 | 72 | |
| BoK + CCCategory=Hybrid (symbolic + LLM fallback)2026.05 | 68.4 | |
| BoK + CC + QOCategory=Hybrid (symbolic + LLM fallback)2026.05 | 68.4 | |
| BoK + QOCategory=Hybrid (symbolic + LLM fallback)2026.05 | 62.8 | |
| BoKCategory=LLM-only methods2026.05 | 57.6 | |
| CC SolverCategory=Symbolic solvers2026.05 | 48.4 | |
| QO SolverCategory=Symbolic solvers2026.05 | 34.4 | |
| Qwen3.6-35B-A3B (OpenHands)Category=LLM-only methods2026.05 | 32.8 |