基于推理的谜语十字棋线索解题方法

谜语十字棋线索是语言任务中具有挑战性的任务，主要报纸每日全球发布新的测试集。每个谜语线索包含要放置在十字棋网格中的答案定义（与常规十字棋相同），以及'字谜'，以证明该答案正确（即人类解题者可以在不需要交叉单词作为确认的情况下对答案有信心）。本 work 描述了一个由开放许可组件构建的基于大语言模型的推理系统，通过（i）假设答案；（ii）提出字谜解释；（iii）使用在编码化推理步骤上运行的验证器系统来解决谜语线索。总体而言，该系统在来自英国《泰晤士报》和《每日电讯报》的谜语线索的数据库 Cryptonite 中建立了新的状态-of-the-art 绩效。由于每个已证明的解决方案以 Python 形式表达，可用于检查。