Seewoo Lee

• Postdoc at EPFL, working on number theory (automorphic forms and representations, computational stuffs), formalization, and AI for mathematics

Experiences

• Internship @Axiom (2026.01 ~ 2026.04)

  • Machine Learning & AI for Mathematical Discovery and Reasoning

• Research Engineer @CryptoLab (2021.05 ~ 2022.07)

  • Homomorphic Encryption and applications on machine learning

• Research Scientist @Riiid (2019.07 ~ 2021.05)

  • Developing AI models for knowledge tracing, session dropout prediction, exam score prediction, and item recommendation

Check my personal website for more details