• Mathematics Ph.D. student at UC Berkeley, working on number theory (automorphic forms and representations)

• Research Engineer @CryptoLab (2021.05 ~ 2022.07)

  • Homomorphic Encryption and applications on machine learning

• Research Scientist @Riiid (2019.07 ~ 2021.05)

  • Developing AI models for knowledge tracing, session dropout prediction, exam score prediction, and item recommendation

Check mypersonal website for more details

PinnedLoading

1. thefundamentaltheor3m/Sphere-Packing-Leanthefundamentaltheor3m/Sphere-Packing-LeanPublic

   A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

   Lean 30 17

2. awesome-ai-for-mathawesome-ai-for-mathPublic

   List of awesome works that use AI for mathematical discoveries.

   18 5

3. awesome-number-theoryawesome-number-theoryPublic

   A list of awesome number theory resources

   30 6

4. posqmfposqmfPublic

   Supplementary Sage codes for the paper "Algebraic proof of modular form inequalities for optimal sphere packings"

   Jupyter Notebook 4

5. ML-NFML-NFPublic

   TeX 1

6. math-notesmath-notesPublic

   TeX-ed notes for personal study

   TeX 1