Published on

Proving that Cryptic Crossword Clue Answers are Correct

LLMs and Cognition workshop @ICML-2024
Authors

This paper was accepted to the LLMs and Cognition workshop at ICML in Vienna, Austria.

Abstract

Cryptic crossword clues are challenging cognitive tasks, for which new test sets are released on a daily basis by multiple international newspapers. Each cryptic clue contains both the definition of the answer to be placed in the crossword grid (in common with regular crosswords), and wordplay that proves that the answer is correct (i.e. a human solver can be confident that an answer is correct without needing crossing words to confirm it). Using an existing cryptic wordplay proving framework (operating on Python proofs created by an LLM), we show that it is possible to distinguish between correct answers and almost-correct ones based upon whether the wordplay works.

Poster Version

ICML LLMs and Cognition poster thumbnail

Explainer Video

8 min explanation video on YouTube

And the BiBTeX entry for the arXiv version:

@misc{andrews2024provingcrypticcrosswordclue,
      title={Proving that Cryptic Crossword Clue Answers are Correct}, 
      author={Martin Andrews and Sam Witteveen},
      year={2024},
      eprint={2407.08824},
      archivePrefix={arXiv},
      primaryClass={cs.CL},
      url={https://arxiv.org/abs/2407.08824}, 
}