基于Solver-in-the-Loop框架，提升LLMs解决逻辑谜题的能力

这项研究介绍了一种新颖的框架，专门用于增强大型语言模型 (LLM) 解决逻辑谜题的能力。“Solver-in-the-Loop”方法可能涉及整合一个逻辑求解器来迭代优化LLM的解决方案，这可能导致准确性的显著提高。

• •提出了一个 'Solver-in-the-Loop' 框架。
• •旨在提高 LLMs 在逻辑谜题上的表现。
• •使用 Answer Set Programming (ASP)。