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
Pair Extraordinaire
x3
Pair Extraordinaire
x3
Loading
Quickdraw
Quickdraw
Loading
YOLO
YOLO
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
Starstruck
Loading
Pull Shark
x2
Pull Shark
x2
Loading