inductive Prolog rule synthesis on SLR-Bench Basic tier 250 tasks 1
100Accuracygpt-5†
Evaluation Results
| Method | Links | |
|---|---|---|
| gpt-5†Category=LLM-only methods2026.05 | 100 | |
| BoKCategory=LLM-only methods2026.05 | 100 | |
| DF-32Category=LLM-only methods2026.05 | 100 | |
| Qwen3.6-35B-A3B (OpenHands)Category=LLM-only methods2026.05 | 100 | |
| CC SolverCategory=Symbolic solvers2026.05 | 100 | |
| QO SolverCategory=Symbolic solvers2026.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 + QOCategory=Hybrid (symbolic + LLM fallback)2026.05 | 100 | |
| DF + CCCategory=Hybrid (symbolic + LLM fallback)2026.05 | 100 | |
| DF + CC + QOCategory=Hybrid (symbolic + LLM fallback)2026.05 | 100 | |
| o3†Category=LLM-only methods2026.05 | 99 |