TY  - RPRT
TI  - A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
AU  - Timo Pierre Schrader
AU  - Lukas Lange
AU  - Tobias Kaminski
AU  - Simon Razniewski
AU  - Annemarie Friedrich
PY  - 2025
UR  - https://arxiv.org/abs/2512.17093
ID  - 2512.17093
ER  -