@misc{indiciaeda09d487af15,
  title = {Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis},
  author = {Yung-Shen Hsia and Fang Yu and Jie-Hong Roland Jiang},
  year = {2026},
  url = {https://arxiv.org/abs/2601.06181},
  note = {Source identifier: 2601.06181}
}