Schrader, T. P.; Lange, L.; Kaminski, T.; Razniewski, S.; Friedrich, A. A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving. AAAI 2026, 40, 25226-25234.