Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

inductive Prolog rule synthesis research benchmarks · SOTA2 Research

inductive Prolog rule synthesis

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

SLR-Bench Hard tier 250 tasks 1

58.4Accuracy

13

May 8, 2026

SLR-Bench Medium tier 250 tasks 1

88.8Accuracy

13

May 8, 2026

SLR-Bench Easy tier 1 (250 tasks)

100Accuracy

13

May 8, 2026

SLR-Bench Basic tier 250 tasks 1

100Accuracy

13

May 8, 2026

SLR-Bench Overall 1,000 tasks (full)

86.7Accuracy (%)

13

May 8, 2026

Popular datasets

Follow for updates

Join SOTA2 Contact