{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/proving-that-cryptic-crossword-clue-answers","title":"Proving that Cryptic Crossword Clue Answers are Correct","arxiv_id":"2407.08824","date":"2024-07-11","proceeding":null,"authors":["Martin Andrews","Sam Witteveen"],"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'.","url_abs":"https://arxiv.org/abs/2407.08824v1","url_pdf":"https://arxiv.org/pdf/2407.08824v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"proving-that-cryptic-crossword-clue-answers","repo_url":"https://github.com/mdda/cryptic-wordplay","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"none","reach":{"status":"ok"}},{"paper_slug":"proving-that-cryptic-crossword-clue-answers","repo_url":"https://github.com/mdda/cryptic-crossword-reasoning-verifier","is_official":0,"mentioned_in_paper":0,"mentioned_in_github":1,"framework":"pytorch","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":"https://syntology.ai/paper/2407.08824","atlas_url":"https://app.syntology.ai/?focus=2407.08824","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2407.08824"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-25T09:33:49+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/mdda/cryptic-wordplay","reach":{"status":"ok"}},{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/mdda/cryptic-crossword-reasoning-verifier","reach":null}],"summary":{"ran_draft_wrong":2},"by_repo_kind":{"listed":{"samples":2,"ran":2,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":0,"samples":[{"code_sha256_prefix":"5ccd70d3d9c0789f","entry":"llama3_prompt","repo":"mdda/cryptic-crossword-reasoning-verifier","repo_kind":"listed","path":"solver/llm.py","file_url":"https://github.com/mdda/cryptic-crossword-reasoning-verifier/blob/HEAD/solver/llm.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"Apache-2.0","inline_ok":true,"mcp_get_code":{"code_sha256":"5ccd70d3d9c0789f"}},{"code_sha256_prefix":"f5fe49b49a8b107a","entry":"llama3_turn","repo":"mdda/cryptic-crossword-reasoning-verifier","repo_kind":"listed","path":"solver/llm.py","file_url":"https://github.com/mdda/cryptic-crossword-reasoning-verifier/blob/HEAD/solver/llm.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":true,"licence":"Apache-2.0","inline_ok":true,"mcp_get_code":{"code_sha256":"f5fe49b49a8b107a"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}