Projects

Stuff I tinkered with.

CUDA 图最短环计算
CUDA 图最短环计算
Active
基于 CUDA 的大规模无向图最短环(girth)精确计算工具,使用多源并行 BFS、CSR 图存储和提前终止,在 RTX 3090 上相较 NetworkX 最高获得 4,299 倍加速。
CUDA
C++
Python
NetworkX
AIMO3 数学奥赛 AI 竞赛 · 铜牌
AIMO3 数学奥赛 AI 竞赛 · 铜牌
Completed
参加 Kaggle AI Mathematical Olympiad - Progress Prize 3,使用 AI 模型解决奥赛数学题,获得铜牌,队伍排名 303/4138。
Python
LLM
Kaggle
数学推理