标签
本文评审了一个聊天机器人系统的架构，该系统将对话式输入转换为结构化数据以供约束求解器使用，通过将大型语言模型用于语言理解和确定性代码用于决策来强调可靠性。
作者描述了使用MiniZinc约束求解器解决《纽约时报》Pips谜题的过程，展示了如何高效地表达约束条件并找到解决方案。