Scholar
Seewoo Lee
Google Scholar ID: jdFDv6IAAAAJ
Department of Mathematics, UC Berkeley
Number Theory
Machine Learning
Game Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
661
H-index
6
i10-index
4
Publications
20
Co-authors
0
Publications
4 items
Decision trees, Frobenius traces, and Weierstrass coefficients of elliptic curves
2026
Cited
0
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8
2026
Cited
0
Machines Learn Number Fields, But How? The Case of Galois Groups
2025
Cited
0
Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
arXiv.org · 2024
Cited
0
