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

inductive Prolog rule synthesis on SLR-Bench Basic tier 250 tasks 1

100Accuracy

gpt-5†

Updated 26d ago

Evaluation Results

Method	Links
gpt-5† 2026.05		100
BoK 2026.05		100
DF-32 2026.05		100
Qwen3.6-35B-A3B (OpenHands) 2026.05		100
CC Solver 2026.05		100
QO Solver 2026.05		100
BoK + QO 2026.05		100
BoK + CC 2026.05		100
BoK + CC + QO 2026.05		100
DF + QO 2026.05		100
DF + CC 2026.05		100
DF + CC + QO 2026.05		100
o3† 2026.05		99