Scholar

Seewoo Lee

Google Scholar ID: jdFDv6IAAAAJ

Department of Mathematics, UC Berkeley

Number TheoryMachine LearningGame Theory

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

661

H-index

6

i10-index

4

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

3 items

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)