Learning & Building in Lean 4! 最近开始尝试用 Lean 4 边学习、边形式化深度学习理论，跟着 Understanding … · @xinzelimoqian · TwKit

@xinzelimoqian

Learning & Building in Lean 4! 最近开始尝试用 Lean 4 边学习、边形式化深度学习理论，跟着 Understanding Deep Learning 这本书，从基础开始逐步构建可验证的深度学习数学框架。 坚持 Learning by Building，从第一天起就开源，边学边做，持续积累！📚 欢迎感兴趣的朋友一起参与，贡献代码、交流想法，顺手点个 Star ⭐️ 💻 GitHub：https://github.com/Xinze-Li-Moqian/UDL Learn in Public. Build in Public. Verify Everything. 🚀

曝光 25 · 评论 0 · 点赞 1 · 书签 0