cs.AI cs.CL cs.SE
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
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