2024级硕士研究生开题公告（十五）

姓名

学号

导师

论文题目

宋德培

2024201583

陈树伟

基于子句自适应分层选择的自动定理证明器优化研究

杨源骏

2024201593

陈树伟

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

赵忠旭

2024201576

何星星

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

许佳

2024201585

何星星

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