Qin, Y., Rhee, M., Teng, D., Zhang, C., Zi, B. (2026). Neuro-symbolic constraint verification for LLM-driven internet finance transaction execution. Scientific Reports. https://doi.org/10.1038/s41598-026-65233-w