2024级硕士研究生中期答辩公告（十五）

学号

姓名

题目

导师

2024201593

杨源骏

基于符号权重学习的一阶逻辑自动定理证明器优化研究

陈树伟

2024201576

赵忠旭

基于逻辑约束的神经符号图分析框架研究

何星星

2024201585

许佳

逻辑规则引导的跨图匹配图神经网络方法研究

何星星