Huang Suozhi 黄索之
Open Menu
Close Menu
Bio
Papers
News
Experience
Tags
Academic
2
AI for Molecules
1
AI for Science
1
Computer Vision
1
Formal Math
1
Hugo
5
Hugo Blox
3
Hugo Blox Builder
1
JavaScript
1
Large Language Models
1
LLM for math
1
Markdown
8
Python
1
Robotics
1
Second Brain
1
Theorem proving
3
Wowchemy
3