Seewoo Lee (@seewoo5)
github

seewoo5

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    122
  • Global Rank 179,891 (Top 7 %)
  • Followers 30
  • Following 40
  • Registered over 5 years ago
  • Most used languages
    TeX
         20.0 %
    Jupyter Notebook
         20.0 %
    Python
         20.0 %
    HTML
         20.0 %
    Lean     20.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 89,699
  • Country Ranking
    Lean     44
    TeX
         4,249
    Python
         9,752

Top repositories

1

KT

Knowledge Tracing Models with PyTorch
Python
86
star
2

awesome-number-theory

A list of awesome number theory resources
22
star
3

lean-poly-abc

Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4
Lean
8
star
4

posqmf

Supplementary Sage codes for the paper "Algebraic proof of modular form inequalities for optimal sphere packings"
Jupyter Notebook
4
star
5

math-notes

TeX-ed notes for personal study
TeX
1
star
6

seewoo5.github.io

https://seewoo5.github.io/
HTML
1
star