ResearchBenchmarksLogic program generation on Countries S2Logic program generation on Countries S2Follow0.1Running Time (min)NeuralLP-1.62410.01321.6533.287May 5, 2026Evaluation resultsMethodMethodLinksRunning Time (min)NeuralLP2026.050.1ANDRE2026.053.2DFORL2026.058NTPλ2026.0543.2