A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving

Open Webpage

Timo Pierre Schrader, Lukas Lange, Tobias Kaminski, Simon Razniewski, Annemarie Friedrich

Published: 2025, Last Modified: 17 Mar 2026CoRR 2025EveryoneRevisionsBibTeXCC BY-SA 4.0