Share your thoughts, 1 month free Claude Pro on usSee more

Inductive Prolog Rule Synthesis on SLR-Bench Easy tier 1 (250 tasks)

100Accuracy

BoK

Updated 26d ago

Evaluation Results

Method	Links
BoK 2026.05		100
BoK + QO 2026.05		100
BoK + CC 2026.05		100
BoK + CC + QO 2026.05		100
DF-32 2026.05		99.6
DF + QO 2026.05		99.6
DF + CC 2026.05		99.6
DF + CC + QO 2026.05		99.6
o3† 2026.05		93
gpt-5† 2026.05		90
Qwen3.6-35B-A3B (OpenHands) 2026.05		86
CC Solver 2026.05		78.4
QO Solver 2026.05		71.2