Yuxuan Qin, Minjae Rhee, Dai Teng, Changhao Zhang, Bingjie Zi. "Neuro-symbolic constraint verification for LLM-driven internet finance transaction execution." Scientific Reports (2026). https://doi.org/10.1038/s41598-026-65233-w