你好，欢迎来到我的个人主页。
我是 陈宇梁，中国科学技术大学少年班学院华罗庚数学英才班 2025 级本科生。我对纯数学、形式化证明和机器学习怀有浓厚兴趣，目前正在学习用 Lean 把数学定理一行一行地敲给计算机看。
希望未来能在数学与计算的交叉地带做一些有趣的事情。
🎓 教育背景
- 2025 - 至今 中国科学技术大学，少年班学院（华罗庚数学英才班）
🔬 项目经历
Lean 形式化证明讨论班 助教 · 2026.4 - 至今
- 在数学学院研究生孙天阳学长的带领下组织 Lean 语言形式化讨论班，担任助教
- 学习用依赖类型论将经典数学定理形式化，并协助同学解决 Lean 证明中的常见问题
- 讨论班讲义、Beamer 源码与录像链接：github.com/cccyyylll888/Lean4-group
机器学习与时间序列模型在足球比赛预测中的应用 · 计划 2026.7 - 2026.8
- 剑桥大学在线暑期研究项目（已申请）
- 探索利用机器学习与时间序列模型预测足球比赛结果
🏆 获奖经历
- 第 17 届全国大学生数学竞赛（数学类低年级）决赛一等奖
- 全国大学生数学竞赛（数学类低年级）安徽赛区 一等奖
- 全国高中数学联赛 银牌
- 全国青少年信息学奥林匹克联赛（NOIP）广东赛区 一等奖
✉️ 联系我
- Email cyl2500@mail.ustc.edu.cn
- GitHub @cccyyylll888
更多关于我的信息可以看 关于我 页面。