I mostly do computational number theory, using CAS (Sage, MAGMA, …), proof assistants (Lean), or machine learning. Check out my Research Statement.

MathSciNet / Google Scholar

Preprints (submitted)

  • (with B. Hwang, H. Lim, J. Hyun, I. Choi, Y. Park, J. Baek, H. Hong, K. Lee, J. Heo, H. Baik, C. Lee, K. Lee) Lean-GAP: A Dataset of Formalized Graduate Algebra Problems arXiv kaggle
  • (with G. Bates, R. Jesubalan, J. Lu, H. Shim) Ties in function field prime race arXiv github
  • Inequalities involving polynomials and quasimodular forms arXiv github
  • (with G. Bates, R. Jesubalan, J. Lu, H. Shim) Powerful Fibonacci polynomials over finite fields arXiv github
  • (with J. Getz, A. G. Terradillos, F. Hosseinijafari, B. Hu, A. Slipper, M.-H. Tomé, H. Yao, A. Zhao) Modulation groups arXiv

Publications (Math)

  • (with S. Hariharan, C. Birkbeck, G. Ma, B. Mehta, A. Poiroux, M. Viazovska) Progress in Formalizing Sphere Packing in Dimension 8, To appear in Proceedings of International Conference on Mathematical Software 2026 arXiv github
  • Algebraic proof of modular form inequalities for optimal sphere packings, To appear in Algebra and Number Theory arXiv github blog slide
  • (with D. Angdinata, E. Chen, K. Ono, J. Zhang) ABC implies that Ramanujan’s tau function misses almost all primes, To appear in Indagationes Mathematicae arXiv github
  • (with E. Chen, K. Lau, K. Ono, J. Zhang) Almost all primes are partially regular, To appear in Archiv der Mathematik arXiv github
  • (with K. Lee) Machines Learn Number Fields, But How? The Case of Galois Groups, To appear in Research in Mathematical Sciences, arXiv github blog slide
  • Shanks bias in function fields, To appear in Journal de Théorie des Nombres de Bordeaux arXiv github
  • (with J. Baek) An equilateral triangle of side $>n$ cannot be covered by $n^2 + 1$ unit equilateral triangles homothetic to it, The American Mathematical Monthly 1-9 (2024). paper blog
  • (with D. Choi) Non-archimedean Sendov’s conjecture, p-adic Numbers, Ultrametric Analysis and Applications 14, 77-80 (2022) paper
  • Maass wave forms, quantum modular forms and Hecke operators, Res. Mathematical Science 6, 7 (2018), Modular Forms are Everywhere: Celebration of Don Zagier’s 65th Birthday paper
  • Quantum modular forms and Hecke operators. Res. Number Theory 4, 18 (2018) paper
  • (with Y. Chen, R. Chernov, M. Flores, M. Bourque and B. Yang) Toy Teichmüller spaces of real dimension 2: the pentagon and the punctured triangle, Geom. Dedicata 197 (2018), 193-227 paper

Publications (Others)

  • (with F. Lin, K. Nagel, J. Jiang, G. Yang, P. Chang, S. Li, N. Sheu) An Analysis of Silk Density in Spider Webs, Royal Society Open Science 12 (2025) paper
  • (with G. Lee, J. Kim, J. Shin, M. Lee) HETAL: Efficient Privacy-preserving Transfer Learning with Homomomorphic Encryption, International Conference on Machine Learning 2023 (Oral) paper github slide(short) slide(long)
  • (with J. Kim) Revisiting the Convergence Theorem for Competitive Bidding in Common Value Actions, Economic Theory Bulletin 10, 293-302 (2022) paper
  • (with K. Kim, J. Shin, J. Park) Tracing Knowledge for Tracing Dropouts: Multi-Task Training for Study Session Dropout Prediction, Educational Data Mining 2021 paper
  • (with S. Kim, Y. Shim, H. Loh, J. Park) Behavioral Testing of Deep Neural Network Knowledge Tracing Models, Educational Data Mining 2021 paper
  • (with D. Shin, Y. Shim, H. Yu, S. Lee, B. Kim, Y. Choi) SAINT+: Integrating Temporal Features for EdNet Correctness Prediction, LAK 2021: 11th International Learning Analytics and Knowledge Conference paper
  • (with H. Loh, D. Shin, J. Baek, C. Hwang, Y. Lee, Y. Cha, S. Kwon, J. Park, Y. Choi) Recommendation for Effect Standardized Exam Preparation, LAK 2021: 11th International Learning Analytics and Knowledge Conference paper
  • (with Y. Choi, Y. Lee, D. Shin, J. Cho, S. Park, J. Baek, B. Kim, Y. Jang) EdNet: A Large-Scale Hierarchical Dataset in Education, Artificial Intelligence in Education 2020. Lecture Notes in Computer Science, vol 12164. Springer, Cham. paper
  • (with J. Kim) Apportionment of Liability by the Stochastic Shapley Value, International Review of Law & Economics 60 (2019), 1-8 paper

Preprints (not for publication)

  • (with E. Chen, K. Lau, K. Ono, J. Zhang) Dead ends in square-free digit walks arXiv github
  • (with J. Baek) Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4 arXiv github
  • (with Y. Choi, J. Park, B. Kim, J. Shin) Consistency and Monotonicity Regularization for Neural Knowledge Tracing arXiv
  • (with Y. Choi, Y. Lee, J. Cho, J. Baek, D. Shin, H. Yu, Y. Shim, J. Shin, C. Bae, B. Kim, J. Heo) Assessment Modeling: Fundamental Pre-training Tasks for Interactive Educational Systems arXiv

In Preparation

  • On extremal quasimodular forms of higher levels
  • Positive quasimodular forms and uncertainty principle
  • Number of divisors of polynomials over function fields
  • (with H. Hong) TBD

Miscellaneous

Programming

I’m also interested in programming (Python, Lean, SageMath, etc) and contributing to open sources. You can find some of my projects and contributions below: