TY  - RPRT
TI  - Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions
AU  - Maria Leonor Pacheco
AU  - Fabio Somenzi
AU  - Dananjay Srinivas
AU  - Ashutosh Trivedi
PY  - 2025
UR  - https://arxiv.org/abs/2508.14294
ID  - 2508.14294
ER  -