TY  - RPRT
TI  - Neuro-Symbolic Compliance: Integrating LLMs and SMT Solvers for Automated Financial Legal Analysis
AU  - Yung-Shen Hsia
AU  - Fang Yu
AU  - Jie-Hong Roland Jiang
PY  - 2026
UR  - https://arxiv.org/abs/2601.06181
ID  - 2601.06181
ER  -