Schrader, T. P. (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), pp. 25226–25234. doi: 10.1609/aaai.v40i30.39714.