碩士論文學位考試-黃鼎謙

公告
論文口試審核
論文題目：基於LLM-SMT推理的可驗證式稅務優化代理人開發與應用
口試者姓名： 黃鼎謙
口試者學號： 113356xxx
指導教授：郁方
口試委員：郁方、洪智鐸、江介宏
時間： 115 年 7 月 7 日 上 午 11 時 00 分
地點：  商學院260905  研討室