Schrader, Timo Pierre, et al. “A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 30, Mar. 2026, pp. 25226-34, doi:10.1609/aaai.v40i30.39714.