Logic program generation
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
0.6Running Time (min)
4
May 7, 2026
0.4Running Time (min)
4
May 7, 2026
0.1Running Time (min)
4
May 7, 2026
0.1Running Time (min)
4
May 7, 2026
0.1Running Time (min)
4
May 7, 2026