Songyi Lu

2026

doi dblp
Veritas: Structuring and verifying LLM knowledge for logically consistent behavior tree generation in LLM-based agents.
Hao Tang|Feng Zhang|Kejia Wan|Songyi Lu|Xi Zhang|Yiping Yao|Xinhai Xu
Information Processing and Management 2026 Volume 63 Issue 7