1,950 machine-generated 9×9 Hitori puzzles,
every one verified to have exactly one solution: 1,000 train + 200 test
(standard config) and a 750-puzzle stratified hard test set (hard config).
Built as the training/eval domain for PRISM: an experiment testing whether
HRM-style recurrent reasoning models (27M params) generalize to a puzzle domain
they have never been trained on. A 27M-parameter HRM trained on the 1,000 standard… See the full description on the dataset page:
https://huggingface.co/datasets/siaglass/hitori-9x9-unique.
