@article{eidokuaneurosymbolicverificationgateforl,
  title = {Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction},
  author = {Shinobu Miya},
  year = {2025},
  eprint = {2512.20664},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2512.20664},
}