Xinyue Zuo

1 papers · 2025–2025 · 1 conference · across top CS/AI conferences

Conferences

ICML (1)

Top co-authors

Jin Song Dong (1) Yifan Zhang (1) Jing Sun (1) Zhe Hou (1) Jun Sun (1) Xiaokun Luan (1) Meng Sun (1) Kailong Wang (1) Zhiyuan Wei (1) Yedi Zhang (1)

Papers

Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods ICML 2025