2025
ICML
ICML 2025
Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods
Authors
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