ResearchBenchmarksLogic program generation on Countries-S3Follow0.1Running Time (min)NeuralLP-9.99258.129126.25194.371May 5, 2026Evaluation ResultsMethodMethodLinksRunning Time (min)NeuralLP2026.050.1ANDRE2026.055.5DFORL2026.0588.4NTPλ2026.05252.4