Schrader, Timo Pierre, Lukas Lange, Tobias Kaminski, Simon Razniewski, and Annemarie Friedrich. 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-34. https://doi.org/10.1609/aaai.v40i30.39714.