Seewoo Lee (@seewoo5)
github

seewoo5

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    116
  • Global Rank 185,518 (Top 7 %)
  • Followers 26
  • Following 29
  • Registered over 5 years ago
  • Most used languages
    Python
         20.0 %
    Jupyter Notebook
         20.0 %
    HTML
         20.0 %
    Lean     20.0 %
    TeX
         20.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 89,699
  • Country Ranking
    Lean     46
    TeX
         5,238
    Python
         9,614

Top repositories

1

KT

Knowledge Tracing Models with PyTorch
Python
86
star
2

awesome-number-theory

A list of awesome number theory resources
16
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