Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
inductive Prolog rule synthesis on SLR-Bench Medium tier 250 tasks 1
Loading...
88.8
Accuracy
DF + CC
30.56
45.68
60.8
75.92
May 6, 2026
Accuracy
Updated 26d ago
Evaluation Results
Method
Method
Links
Accuracy
DF + CC
Category=Hybrid (symbo...
2026.05
88.8
DF + CC + QO
Category=Hybrid (symbo...
2026.05
88.8
DF + QO
Category=Hybrid (symbo...
2026.05
86.4
DF-32
Category=LLM-only methods
2026.05
84.4
o3†
Category=LLM-only methods
2026.05
74
gpt-5†
Category=LLM-only methods
2026.05
72
BoK + CC
Category=Hybrid (symbo...
2026.05
68.4
BoK + CC + QO
Category=Hybrid (symbo...
2026.05
68.4
BoK + QO
Category=Hybrid (symbo...
2026.05
62.8
BoK
Category=LLM-only methods
2026.05
57.6
CC Solver
Category=Symbolic solvers
2026.05
48.4
QO Solver
Category=Symbolic solvers
2026.05
34.4
Qwen3.6-35B-A3B (OpenHands)
Category=LLM-only methods
2026.05
32.8
Feedback
Search any
task
Search any
task