2024级硕士研究生开题公告（十五）
2026-01-13 学生支持办公室 点击：[]
时间：2026年1月15日14:30
地点：犀浦校区X30611
专家：潘小东、陈树伟、何星星
姓名 | 学号 | 导师 | 论文题目 |
宋德培 | 2024201583 | 陈树伟 | 基于子句自适应分层选择的自动定理证明器优化研究 |
杨源骏 | 2024201593 | 陈树伟 | 基于符号权重学习的一阶逻辑自动定理证明器优化研究 |
赵忠旭 | 2024201576 | 何星星 | 基于逻辑约束的神经符号图分析框架研究 |
许佳 | 2024201585 | 何星星 | 逻辑规则引导的跨图匹配图神经网络方法研究 |
上一条：2024级硕士研究生开题公告（十六）
下一条：2024级硕士研究生开题公告（十四）
【关闭】
