Witteveen, Sam

3 publications

ICML 2025 A Reasoning-Based Approach to Cryptic Crossword Clue Solving Martin Andrews, Sam Witteveen

ICLRW 2025 Generating Code to Verify Cryptic Crossword Reasoning Martin Andrews, Sam Witteveen

ICMLW 2024 Proving That Cryptic Crossword Clue Answers Are Correct Martin Andrews, Sam Witteveen