Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions

Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas +1

We propose a neurosymbolic approach to the explanation of complex sequences of decisions that combines the strengths of decision procedures and Large Language Models (LLMs). We dem…