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