Zhiyuan Wei

Joined

January 2025

Names

Zhiyuan Wei (Preferred)

Emails

****@bit.edu.cn (Confirmed)

Personal Links

Career & Education History

PhD student

Computer Science, Beijing Institute of Technology (bit.edu.cn)

2021 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

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
- ICML 2025 Position Paper Track poster
- Readers: Everyone

Co-Authors