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 K. Lau, K. Ono) Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond, arXiv github
  • (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 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 Indag. Math. arXiv github
  • Shanks bias in function fields, To appear in J. Théor. Nombres Bordeaux arXiv github
  • (with E. Chen, K. Lau, K. Ono, J. Zhang) Almost all primes are partially regular, Arch. Math. (2026), paper github
  • (with K. Lee) Machines Learn Number Fields, But How? The Case of Galois Groups, Res. Math. Sci. 13, 60 (2026), paper github blog slide
  • (with J. Baek) An equilateral triangle of side $>n$ cannot be covered by $n^2 + 1$ unit equilateral triangles homothetic to it, Amer. Math. Monthly 1-9 (2024). paper blog
  • (with D. Choi) Non-archimedean Sendov’s conjecture, p-Adic Numbers Ultrametric Anal. Appl. 14, 77-80 (2022) paper
  • Maass wave forms, quantum modular forms and Hecke operators, Res. Math. Sci. 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, R. Soc. Open Sci. 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, Econ. Theory Bull. 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 Comput. Sci., vol 12164. Springer, Cham. paper
  • (with J. Kim) Apportionment of Liability by the Stochastic Shapley Value, Int. Rev. Law Econ. 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