PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
- Heidelberg / Shenzhen
- @Junyan_Xu
Highlights
- Pro
Earned achievements
Quickdraw
Quickdraw
Loading
Pair Extraordinaire
x2
Pair Extraordinaire
x2
Loading
YOLO
YOLO
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
Starstruck
Loading
Pull Shark
x2
Pull Shark
x2
Loading