陳樹偉、韋洪雷、何星星老師指導的2023級碩士研究生開題公告
時間：2025年1月9日14:00
地點：犀浦校區(qū)X30423
專家：陳樹偉、韋洪雷、吳貫鋒、何星星
學號 | 姓名 | 專業(yè) | 題目 | 導師 |
2023201555 | 吳 鑫 | 數(shù)學 | 基于強化學習的一階邏輯定理證明器優(yōu)化研究 | 陳樹偉 |
2023201584 | 劉媛媛 | 數(shù)學 | 基于子句動態(tài)選擇的自動定理證明器優(yōu)化研究 | 陳樹偉 |
2023201554 | 王盼盼 | 數(shù)學 | 基于KAN網(wǎng)絡與LSTM融合的急救電話呼叫量預測研究 | 韋洪雷 |
2023201585 | 覃鑫昊 | 數(shù)學 | 基于Prophet-HGTAN的急救呼救量異常監(jiān)測與診斷模型研究 | 韋洪雷 |
2023201563 | 曾 丹 | 數(shù)學 | 基于邏輯性質(zhì)融合的圖自編碼器研究 | 何星星 |
2023201550 | 潘 蘭 | 數(shù)學 | 基于邏輯規(guī)則約束的圖神經(jīng)網(wǎng)絡方法研究 | 何星星 |
歡迎廣大師生蒞臨指導！
