一作AAAI 2026Poster· Artificial Intelligence
A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
Timo Pierre Schrader · Lukas Lange · Tobias Kaminski · Simon Razniewski (ScaDS.AI & · Annemarie Friedrich