Teng Dai

Neuro-symbolic constraint verification for LLM-driven internet finance transaction execution

Abstract Large language model (LLM) agents cannot guarantee that their outputs satisfy the hard business rules that govern financial transactions. We present the Verifier-Actor Neuro-Symbolic Framework ( VA-NSF ), a dual-layer architecture that separates natural language understa...