利用约束引导的多智能体系统解决斑马谜题

通过将大型语言模型与定理证明器相结合，我们引入了一种多代理系统 ZPS 来解决复杂的逻辑问题，并通过自动化网格拼图评估器验证了方法的可靠性。在我们测试的三个语言模型中，我们的方法显示了改进，其中 GPT-4 在完全正确解决方案数量上提高了 166%。