Zhiyuan Wei

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

Conferences

ICML (1)

Top co-authors

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

Papers

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