【硕士开题】王恪铭老师指导的硕士研究生开题公告

计算机与人工智能学院2024-11-21类型：graduate/notice来源：计算机与人工智能学院收录：2026-09-03 01:33:26

学生姓名：刘铸纬
学号：2023201767
指导老师：王恪铭
专业：计算机科学与技术
题目：基于LLM代理工作流的SMT代码生成优化

开题时间：2024年11月22日，下午15:00
专家组成员：刘军（英国Ulster大学），陈树伟，王恪铭，吴贯锋
开题地点：X30423，腾讯会议：543-8615-2870

欢迎广大师生莅临指导！