T. P. Schrader, L. Lange, T. Kaminski, S. Razniewski, and A. Friedrich, “A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving”, AAAI, vol. 40, no. 30, pp. 25226–25234, Mar. 2026.