IR
Anthology
Community
Kejia
Wan
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