【硕士开题】王恪铭老师指导的硕士研究生开题公告
学生姓名：刘铸纬
学 号：2023201767
指导老师：王恪铭
专 业：计算机科学与技术
题 目：基于LLM代理工作流的SMT代码生成优化
开题时间：2024年11月22日，下午15:00
专家组成员：刘军（英国Ulster大学），陈树伟，王恪铭，吴贯锋
开题地点：X30423，腾讯会议：543-8615-2870
欢迎广大师生莅临指导！
相关文章
【硕士开题】王恪铭老师指导的硕士研究生开题公告
学生姓名：刘铸纬学 号：2023201767指导老师：王恪铭专 业：计算机科学与技术题 目：基于LLM代理工作流的SMT代码生成优化开题时间：2024年11月22日，下午15:00专家组成员：刘军（英国U……
【硕士开题】王恪铭老师指导的硕士研究生开题公告
学生姓名：杨宇轩学 号：2023212405指导老师：王恪铭专 业：计算机技术题 目：基于原型网络的双动道岔故障诊断及安全场景形式化研究开 题 时 间：2024年11月1日，下午15:00专家组成员：刘军……
【转研究生院】关于开展研究生培养环节导师抽检工作的通知
……
