Schrader, T. P., Lange, L., Kaminski, T., Razniewski, S., & Friedrich, A. (2025). A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving.
Chicago Style (17th ed.) CitationSchrader, Timo Pierre, Lukas Lange, Tobias Kaminski, Simon Razniewski, and Annemarie Friedrich. A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving. 2025.
MLA (9th ed.) CitationSchrader, Timo Pierre, et al. A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving. 2025.
Warning: These citations may not always be 100% accurate.