安卓人
文章 标签 分类 归档 关于
安卓人

关于

安卓人

专注于形式化数学验证 (Formal Mathematics / Lean 4) 与几何深度学习架构 (Geometric Deep Learning)。

🔬 关注领域 (Focus & Interests)

  • Formal Verification & Theorem Proving (形式化验证与定理证明):
    • 深入探索 Lean 4 与 Mathlib4，参与形式化数学库实践；
    • 偏微分方程时空谱网格算子的几何并行解耦验证（Parallel-in-Time Decoupling in Lean 4）；
    • 数论性质的形式化证明。
  • Geometric Deep Learning & Architectures (几何深度学习与神经网络架构):
    • 基于非定向流形（Non-Orientable Manifold）与相消干涉机制的注意力架构（如 SG-Möbius-RoPE）；
    • 规范等变性（Gauge Equivariance）与大模型的高维几何表征。
  • Systems & Engineering (系统与底层工程):
    • Python / C++ / TypeScript，移动端底层系统逆向与边缘计算网络。

✍️ 博客说明

本博客用于记录与沉淀深度的个人技术思考、严谨的数学形式化推导以及核心工程实践笔记。

历史自动资讯与每日早报内容已整体迁移至 归档区 保存。

📬 联系方式