Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems 文章

ArXiv CS.CL2026-06-04NEWSen作者: Shmuel Berman, Kathleen McKeown, Baishakhi Ray
查看原文 →
关系图谱

Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems · 相关技术

相关技术

Large language modelLLMmulti-agent systemsSatisfiability Modulo TheoriesSMTtheorem proversymbolic representationChain-of-Thought prompting