Solver-in-the-Loop Framework Boosts LLMs for Logic Puzzle Solving

This research introduces a novel framework to enhance Large Language Models (LLMs) specifically for solving logic puzzles. The 'Solver-in-the-Loop' approach likely involves integrating a logic solver to iteratively refine LLM solutions, potentially leading to significant improvements in accuracy.

• •Presents a 'Solver-in-the-Loop' framework.
• •Aims to improve LLMs' performance on logic puzzles.
• •Utilizes Answer Set Programming (ASP).