陈树伟、韦洪雷、何星星老师指导的2023级硕士研究生开题公告
时间：2025年1月9日14:00
地点：犀浦校区X30423
专家：陈树伟、韦洪雷、吴贯锋、何星星
学号 | 姓名 | 专业 | 题目 | 导师 |
2023201555 | 吴 鑫 | 数学 | 基于强化学习的一阶逻辑定理证明器优化研究 | 陈树伟 |
2023201584 | 刘媛媛 | 数学 | 基于子句动态选择的自动定理证明器优化研究 | 陈树伟 |
2023201554 | 王盼盼 | 数学 | 基于KAN网络与LSTM融合的急救电话呼叫量预测研究 | 韦洪雷 |
2023201585 | 覃鑫昊 | 数学 | 基于Prophet-HGTAN的急救呼救量异常监测与诊断模型研究 | 韦洪雷 |
2023201563 | 曾 丹 | 数学 | 基于逻辑性质融合的图自编码器研究 | 何星星 |
2023201550 | 潘 兰 | 数学 | 基于逻辑规则约束的图神经网络方法研究 | 何星星 |
欢迎广大师生莅临指导！
