教学通知
培养计划
资料下载
时间：2026年6月25日14:30
地点：犀浦校区X30611
专家：潘小东、陈树伟、何星星
学号
姓名
题目
导师
2024201593
杨源骏
基于符号权重学习的一阶逻辑自动定理证明器优化研究
陈树伟
2024201576
赵忠旭
基于逻辑约束的神经符号图分析框架研究
何星星
2024201585
许佳
逻辑规则引导的跨图匹配图神经网络方法研究
下一条：2024级硕士研究生中期答辩公告（十四）
【关闭】
