cs.AI cs.CL cs.SE
Yedi Zhang Yufan Cai Xinyue Zuo Xiaokun Luan Kailong Wang Zhe Hou Yifan Zhang Zhiyuan Wei Meng Sun Jun Sun Jing Sun Jin Song Dong
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap