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

Inductive Prolog Rule Synthesis on SLR-Bench Overall 1,000 tasks (full)

86.7Accuracy (%)

DF + CC + QO

57.26864.90972.5580.191May 6, 2026
Updated 26d ago

Evaluation Results

MethodLinks
2026.05
86.7138.816.19-0.924
2026.05
86.6138.814.91-0.924
2026.05
83.9166.114.29-1.123
2026.05
80.3132.414.81-0.796
2026.05
80.3132.416.09-0.795
2026.05
79.6224.217.43-0.834
2026.05
77.84.3207.24-
2026.05
7716.4103.13-
2026.05
75.9162.814.49-1.063
2026.05
68.7225.317.88-0.611
2026.05
68.404.01-0.756
2026.05
60.701.28-1.087
2026.05
58.41,232.6243.41-0.354