SYSU · Computer Science · 2027

可信 AI 系统: 从检索到推理

中山大学 · 计算机科学与技术

我关心 Research Agent 如何找到可靠证据,也关心多模态推理如何被执行、验证,以及学习系统如何作出更好的决策。目前在中山大学读计算机,也把算法、系统与 AI 的学习过程持续写进 Notes。

关注方向
可信 AI 系统与可验证推理
坐标
中国广州

Research

检索、推理与决策

结果之外,我更关心方法为何成立,以及它能否被验证、复现。

01

Research Agent

围绕论文与数据集设计检索、适配与反思工作流,让 Research Agent 的每一步更容易追溯。

02

多模态推理

把几何草图与推理步骤变成可执行、可验证、可编辑的视觉表示。

03

学习与决策系统

研究推荐、优化与仿真中的多方约束,也关心实验为何有效、能否复现。

Methods

方法、系统与工程

编程

Python · C++ · SQL

机器学习与 AI

PyTorch · scikit-learn · LightGBM · Sentence-BERT · RAG · Faiss

系统与工程

Linux · Git · Docker · pytest · Streamlit · Plotly

并行计算

CUDA · MPI · OpenMP

Background

本科教育与竞赛经历

2023 — 2027

计算机科学与技术 · 工学学士(预计)

中山大学计算机学院

课程覆盖数据结构与算法、操作系统、计算机网络、数据库、机器学习与最优化。

  1. ICPC 亚洲区域赛(上海)银牌
  2. CCPC 全国邀请赛(广东)金牌
  3. CCF CAT 算法精英赛总决赛银牌
  4. 中山大学程序设计竞赛一等奖

Projects

研究原型与系统实现

全部项目
GeoSketch 中通过几何约束验证的辅助构造
2026持续研究 · 已完成核心复现

GeoSketch-CoT:可执行几何草稿

多模态模型会漏看图中关系,也会提出几何上不成立的辅助线;更麻烦的是,准确率提升往往无法说明究竟来自新图、更多推理 token,还是更严格的输出格式。

  • Python
  • FastAPI
  • Next.js
  • React
查看方法与结果
IDAgent 的双向研究智能体与离线科研记忆架构
2026论文准备中 · 核心模块评估完成

IDAgent:构想—数据集双向发现

研究想法描述目标、假设与方法,数据集描述字段、模态与经验边界;两者不是同一种文本,关键词和通用相似度很难判断“这个数据集是否真的支撑这个想法”。

  • Python
  • Sentence-BERT
  • Faiss
  • RAG
查看方法与结果

Writing

技术笔记与日常记录

查看归档

Field Notes

校园与城市记录

不做摄影作品集,只留下一些天气、街道与校园里的偶遇。

雨后街道与放晴的天空
01雨停以后,广州
云层间露出的蓝天
02六月的云
灌木下熟睡的橘猫
03树影下的午睡

Notes

数学、系统与 AI Notes

课程 Notes 仍完整留在 MkDocs:公式、图表、代码和当时的思路,都维持原来的阅读方式。