interest 01
图论与组合
边染色、匹配，以及图的结构。我尤其关注解可以被机械验证的问题。
研究 / 01
interest 01
边染色、匹配，以及图的结构。我尤其关注解可以被机械验证的问题。
interest 02
Transformer 的计算，是让一个隐状态依次通过一组层，每一层从中读取、再写回。 我研究信息如何在这些层之间移动，以及如何在训练好的模型上对此加以度量。
interest 03
推理不必以文本形式写出。有一类模型反复应用同一个网络， 逐步细化一个隐状态直至收敛。我在难度可以精确控制的结构化任务上 研究这类递归推理模型。
研究手稿
项目 / 02
研究原型、训练基础设施，以及一个黑客松作品。 源代码见 GitHub。
macOS 菜单栏与 Windows 托盘应用。普瑞赛斯（《明日方舟》角色）以小图标常驻托盘，点击后弹出带立绘与聊天界面的窗口，由本机已安装的 Claude Code 或 Codex CLI 作答。她的表情随每条回复的语气变化，闲置时留在桌面上作为伴侣，并可执行一组固定白名单内的本地操作：播放音乐、打开应用或网址、设置提醒。提供 macOS 与 Windows 预编译版本。
一个 AdamW 变体，用 GUDHI 算出的损失曲面拓扑摘要来调整步长； 几何估计不可靠时，由安全阈值限制调整幅度。在 CIFAR-10 上与标准 AdamW 进行了对比。
一个 DreamerV3 风格的智能体，从像素学玩 Geometry Dash。大部分工作在基础设施上： 自定义 Gymnasium 环境，以及一座 Windows 到 WSL 的桥接， 使观测、动作与日志在每秒 60 帧下保持对齐。
面向 Dream-7B 与 GPT-OSS-20B 的数学语料微调流水线：4-bit QLoRA、梯度检查点、DeepSpeed。 在所用基准上，数学准确率提升约 20%，显存占用下降一半以上，完整流程可在单张 16 GB 显卡上运行。
LA Hacks 黑客松作品。回答七个问题后，生成二十年后的你： 一幅变老的肖像、一段人生旁白，以及一个可以对话的角色。
浏览器里实时运行的 CFD 实验室：格子玻尔兹曼（D2Q9）求解器 + 动量交换法测力，并用经典圆柱算例校核。将标准假人、汽车、火箭， 或任何手绘、上传的形状放入试验段，调节风速、气温与表面摩擦， 从天平读出实测阻力系数，并观察卡门涡街的脱落。
课程 / 03
学习过程中整理的笔记，编成两门公开课程。免费，以代码为主。
背景 / 04
我出身数学竞赛（Euclid，BC 省第一），从数学一侧进入机器学习。
在滑铁卢主修组合数学与优化。机器学习中的许多问题本质上是图与优化问题， 专业与研究方向相互契合。
更早的工作集中在强化学习与训练效率，上面的若干项目来自那一阶段。
教育与奖项
工具箱