Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
inductive Prolog rule synthesis on SLR-Bench Hard tier 250 tasks 1
Loading...
58.4
Accuracy
DF + CC + QO
13.056
24.828
36.6
48.372
May 6, 2026
Accuracy
Updated 26d ago
Evaluation Results
Method
Method
Links
Accuracy
DF + CC + QO
Category=Hybrid (symbo...
2026.05
58.4
DF + CC
Category=Hybrid (symbo...
2026.05
58
BoK + CC
Category=Hybrid (symbo...
2026.05
52.8
BoK + CC + QO
Category=Hybrid (symbo...
2026.05
52.8
DF + QO
Category=Hybrid (symbo...
2026.05
49.6
CC Solver
Category=Symbolic solvers
2026.05
46.8
gpt-5†
Category=LLM-only methods
2026.05
46
o3†
Category=LLM-only methods
2026.05
45
BoK + QO
Category=Hybrid (symbo...
2026.05
40.8
QO Solver
Category=Symbolic solvers
2026.05
37.2
DF-32
Category=LLM-only methods
2026.05
34.4
BoK
Category=LLM-only methods
2026.05
17.2
Qwen3.6-35B-A3B (OpenHands)
Category=LLM-only methods
2026.05
14.8
Feedback
Search any
task
Search any
task