|
个人信息Personal Information
教授
博士生导师
硕士生导师
教师英文名称：Bowen Zhou
教师拼音名称：zhoubowen
电子邮箱：
所在单位：电子工程系
办公地点：清华大学电子工程系 罗姆楼8-110
性别：男
在职信息：在职
Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs — A Preliminary Study on Dafny
点击次数：
发表刊物：ICLR, 2026
摘要：Chuanhao Yan, Fengdi Che, Xuhan Huang, et al., Bowen Zhou†, Jie Fu†.
备注：形式化验证：以强化学习引导大语言模型，自动对软件正确性进行形式化验证。
是否译文：否