Schrader, T. P., Lange, L., Kaminski, T., Razniewski, S., & Friedrich, A. (2026). 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, 40(30), 25226–25234. https://doi.org/10.1609/aaai.v40i30.39714