LTLf Induction
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
88.62Accuracy
6
Jun 11, 2026
92.92Accuracy
6
Jun 11, 2026
83.05Accuracy
6
Jun 11, 2026
99.84Accuracy
6
Jun 11, 2026
99.91Accuracy
6
Jun 11, 2026
100Accuracy
6
Jun 11, 2026