Neuro-Symbolic Compliance: Integrating LLMS and SMT Solvers for Automated Financial Legal Analysis. - Yung-Shen Hsia; Fang Yu; Jie-Hong Roland Jiang (AIware, 2025)