LLM2D
MCP-Solver:将语言模型与约束编程系统集成
MCP-Solver: Integrating Language Models with Constraint Programming Systems
作者: Stefan Szeider
发布日期: 4/8/2025
arXiv ID: oai:arXiv.org:2501.00539v2

摘要

arXiv:2501.00539v2 宣告类型: 替换 摘要: MCP Solver 通过 Model Context Protocol (MCP) 将大型语言模型 (LLMs) 与符号求解器连接起来,MCP 是一种开源的 AI 系统集成标准。为 LLMs 提供形式求解和推理能力的访问权限,弥补了它们的关键不足之处,同时发挥其优势。我们的实现提供了与约束编程(Minizinc)、命题可满足性(PySAT)以及理论模态 SAT(Python Z3)的接口。该系统采用迭代验证的编辑方法,确保在修改过程中模型的一致性,并允许结构化的改进。