Are LLMs Good Cryptic Crossword Solvers?

Abdelrahman "Boda" Sadallah Daria Kotova Ekaterina Kochmar

Published in: CoRR (2024)

Keyphrases

data sets
sat solvers
sat solving
computer vision
clustering algorithm
face recognition
simulated annealing
constraint solver
quantified boolean formulas
backtracking search
mixed integer linear
computationally hard problems
modulo theories