2024-03
- 2024-03-05 weekly meeting
2024-02
- 2024-02-29 Formal Proof Automation
- 2024-02-29 Reading website
- 2024-02-28 Paper Reading List
- 2024-02-28 Introduction of Logic
2023-06
- 2023-06-16 layer normalization and batch normalization
2022-08
- 2022-08-12 Energy-based model
- 2022-08-12 English Expressions
- 2022-08-10 碎碎碎碎碎碎念