年度 112
计画类别 科技部
计画名称 数据转换系统的正确性与可解释性的自动推论(3/3)
参与人 洪智铎,萧贵徽
职称/担任之工作 计画主持人
计画期间 2025.07 ~ 2026.06
补助/委讬或合作机构 国科会