AI.info

Timo Pierre Schrader

Explore Timo Pierre Schrader on AI.info.

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