Yicheng Wang’s Blog
Notes. WIP = taking the course and constantly updating it. Updating = completed the course but still making up it.
Computer Science:
- Combinatorial Optimization: notes (pdf)
- Formal Reasoning about Programs: Semantics (html), Games (html), Automata (html), Linear-time Temporal Logic (html), Coq (html)
- System Programming (WIP): notes (html)
Math:
- Probability Theory and Statistics (WIP): notes (html), stat cheat sheet (pdf)
- Linear Algebra (updating): notes (html)
- Real Analysis (updating): notes (html)
- Numerical Analysis: notes (html)
- Set Theory and Topology (WIP): notes (html)
Machine Learning:
- Machine Learning with Graphs (updating): notes (html), paper sharing (k-hop message passing), group project
- Machine Learning (updating): notes (html), brief survey about Transformers (group project)
Other Subjects:
- Introduction to Language: notes (html), Pinyin to IPA convertor
- Psychology and Life: notes (html)
Emacs:
Markup Language: