Co-occurring keywords · papers mentioning both
Papers
Can LLMs Generate and Solve Linguistic Olympiad Puzzles?
EMNLP 2025
Evaluating In Silico Creativity: An Expert Review of AI Chess Compositions
NeurIPS 2025
GenVP: Generating Visual Puzzles with Contrastive Hierarchical VAEs
ICLR 2025
SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas
EMNLP 2025
The Bullets Puzzle: A Paper-and-Pencil Minesweeper
AAAI 2022
Computer Generation of Birds of a Feather Puzzles
AAAI 2019
Procedural Generation of Initial States of Sokoban
IJCAI 2019