11 citations · 25 across the 21 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.LO2024
Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
Jineon Baek, Seewoo Lee
The ABC conjecture implies many conjectures and theorems in number theory, including the celebrated Fermat's Last Theorem. Mason-Stothers Theorem is a function field analogue of th…
math.NT2024
Algebraic proof of modular form inequalities for optimal sphere packings
Seewoo Lee
We give algebraic proofs of Viazovska and Cohn-Kumar-Miller-Radchenko-Viazovska's modular form inequalities for 8 and 24-dimensional optimal sphere packings.
cs.CR2024★ 9 cited
HETAL: Efficient Privacy-preserving Transfer Learning with Homomorphic Encryption
Seewoo Lee, Garam Lee, Jung Woo Kim +2
Transfer learning is a de facto standard method for efficiently training machine learning models for data-scarce problems by adding and fine-tuning new classification layers to a m…