Xiaokun Luan

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) 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