Skip to content
View seewoo5's full-sized avatar
🧠
Thinking
🧠
Thinking
51 followers · 64 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report seewoo5

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
seewoo5/README.md

Seewoo Lee

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

Experiences

  • 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 my personal website for more details

Pinned Loading

  1. thefundamentaltheor3m/Sphere-Packing-Lean thefundamentaltheor3m/Sphere-Packing-Lean Public

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

    Lean 38 26

  2. awesome-ai-for-math awesome-ai-for-math Public

    List of awesome works that use AI for mathematical discoveries.

    23 6

  3. awesome-number-theory awesome-number-theory Public

    A list of awesome number theory resources

    31 6

  4. posqmf posqmf Public

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

    Jupyter Notebook 4

  5. ML-NF ML-NF Public

    TeX 1

  6. math-notes math-notes Public

    TeX-ed notes for personal study

    TeX 1