作者位次 #4/6NeurIPS 2026Poster
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
Ruida Wang · Jerry Huang · Pengcheng Wang · Xuanqing Liu · Chris Kong · Tong Zhang
智能体与工具OpenReview
首次获取该候选人的完整档案及 StartLux 评估共 20 积分；每位用户单独解锁，之后查看免费。主动刷新 20 积分。
实时查找电子邮箱，费用不超过20积分；未找到邮箱不扣费。
Ruida Wang · Jerry Huang · Pengcheng Wang · Xuanqing Liu · Chris Kong · Tong Zhang
Xiangyi Li · Yimin Liu · Wenbo Chen · Shenghan Zheng · Yifeng He · Xiaokun Chen · Bingran You · Haotian Shen · Yubo Li · Kyoung Whan Choe · Binxu Li · Shuyi Wang · Chris Kong · Xinyi Liu · Jiankai Sun · Runhui Wang · Xuanqing Liu · Jiachen Li · Xin Lan · Yuanli Wang · Xuandong Zhao · Yueqian Lin · Wengao Ye · Junwei He · Di Wang · Roey B Chaim · Songlin Li · Hanwen Xing · Yue Zhang · Yipeng Gao · Yijiang Li · Ze Ma · Liqiang Jing · Qunhong Zeng · Tianyu Wang · Kaixin Li · Yiqi Xue · Zonglin Di · Yizhuo He · Yuchen Tian · Yixuan Gao · Hejia Geng · Bo Chen · Litong Liu · Sikai Cheng · Zelin Tan · Jiajun Bao · Junwei Zhou · Shuaicheng Tong · Shuwen Xu · Penghao Jiang · Terry Yue Zhuo · Tinghan Ye · Chujun Tao · Qi Qi · Miao Li · Longtai Liao · Zhikang Dong · Chang Shi · Steven Dillmann · Han-chung Lee