@misc{indiciae0c51ef296d34,
  title = {Neuro-Symbolic Verification on Instruction Following of LLMs},
  author = {Yiming Su and Kunzhao Xu and Yanjie Gao and Fan Yang and Cheng Li and Mao Yang and Tianyin Xu},
  year = {2026},
  url = {https://arxiv.org/abs/2601.17789},
  note = {Source identifier: 2601.17789}
}