解释 Hitori 谜题:顺序决策的神经符号证明分阶段
人工智能
2025-08-21 v1
摘要
我们提出一种神经符号方法,用于解释复杂决策序列,结合决策程序和大型语言模型（LLM）的优势。我们以 Hitori 谜题的解答为例,展示了这种方法。Hitori 谜题的规则包括可通过简短解决证明解释的局部约束,也包括适合视觉解释的连通性约束。因此,Hitori 为灵活的 SAT 求解器与 LLM 结合提供了理想的测试场。我们实现了一个帮助人类解谜的工具,并呈现其有效性的实证结果。
引用
@article{arxiv.2508.14294,
title = {Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions},
author = {Maria Leonor Pacheco and Fabio Somenzi and Dananjay Srinivas and Ashutosh Trivedi},
journal= {arXiv preprint arXiv:2508.14294},
year = {2025}
}