证明隐式纵横字谜线索答案的正确性
计算与语言
2024-07-15 v1 人工智能
机器学习
摘要
隐式纵横字谜线索是具有挑战性的认知任务，多家国际报纸每天都会发布新的测试集。每条隐式线索既包含待填入字谜网格的答案定义（与常规纵横字谜相同），也包含证明答案正确的“文字游戏”（即解题者无需交叉词确认即可确信答案正确）。利用现有的隐式文字游戏证明框架（对 LLM 生成的 Python 证明进行操作），我们展示了基于文字游戏是否“奏效”，能够区分正确答案与近乎正确的答案。
引用
@article{arxiv.2407.08824,
title = {Proving that Cryptic Crossword Clue Answers are Correct},
author = {Martin Andrews and Sam Witteveen},
journal= {arXiv preprint arXiv:2407.08824},
year = {2024}
}
备注
Accepted paper for the ICML 2024 Workshop on LLMs and Cognition (4 pages + references + 6 pages of Appendices)