2 papers
cs.AI2026
Specification-Driven Generation and Evaluation of Discrete-Event World Models via the DEVS Formalism
Zheyu Chen, Huiteng Zhuang, Zhuohuan Li +1
World models are central to LLM agents that must evaluate actions over long horizons. Yet much existing work focuses on environments governed by physical dynamics or spatial struct…
cs.CL2025
Think Socially via Cognitive Reasoning
Jinfeng Zhou, Zheyu Chen, Shuai Wang +4
LLMs trained for logical reasoning excel at step-by-step deduction to reach verifiable answers. However, this paradigm is ill-suited for navigating social situations, which induce…