ResearchBenchmarksLogic program generation on NationsFollow0.4Running Time (min)NeuralLP-23.6138.4300.4462.4May 5, 2026Evaluation ResultsMethodMethodLinksRunning Time (min)NeuralLP2026.050.4DFORL2026.050.6ANDRE2026.051.2NTPλ2026.05600.4