硕士论文学位考试-黄鼎谦

公告
论文口试审核
论文题目：基于LLM-SMT推理的可验证式税务优化代理人开发与应用
口试者姓名： 黄鼎谦
口试者学号： 113356xxx
指导教授：郁方
口试委员：郁方、洪智铎、江介宏
时间： 115 年 7 月 7 日 上 午 11 时 00 分
地点：  商学院260905  研讨室