I am an AI fellow in the Center for AI and Natural Sciences (CAINS) at Korea Institute for Advanced Study (KIAS).
Previously, I was a research scientist (postdoctoral researcher) in the Group of Inverse Problems and Mathematical Imaging (IPMI) at Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Science (ÖAW), working with Otmar Scherzer. I obtained my Ph.D at Yonsei University under the supervision of Youngmi Hur.
Address: 85 Hoegi-ro, Dongdaemun-gu, Seoul 02455, Republic of Korea
Email: hlim@kias.re.kr (My previous RICAM oeaw email will be deactivated).
Curriculum Vitae (last updated in March 2026)
Research Interests:
Approximation theory for machine learning
LLM-based formalization and theorem proving
Construction of wavelet frames in various function spaces
Abstract harmonic analysis - unitary representation theory on locally compact groups
Publication Lists:
Information Propagation via Sign-Flip Dynamics (with collaborators)
Lean-GAP: A Dataset of Formalized Graduate Algebra Problems (with collaborators)
Formalization of Infinite Oriented Matroids (with collaborators)
New Tight Wavelet Frame Constructions Sharing Responsibility (with Y. Hur) (submitted) (preprint in arXiv)
Provable Wavelet-Based Neural Approximation (with Y. Hur and M. Lim), Applied Mathematics and Computation, Volume 514, 2026, 129821. (preprint) (preprint in arXiv)
Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques (with S. Han, T. Hur, Y. Hur, K. S. Lee, and M. Lee), Intelligent Computing: Proceedings of the 2025 Computing Conference, Volume 2, pp. 205-222. Part of the Lecture Notes in Networks and Systems book series (LNNS, volume 1424). Springer. (preprint) (preprint in arXiv and codes)
Wavelet Series Expansion in Hardy Spaces with Approximate Duals (with Y. Hur), Analysis Mathematica, Vol. 50, No. 2, 2024, pp. 563-595. (preprint) (preprint in arXiv)
Understanding the Scattering Transform using Univariate Signals (with Y. Hur), Proceedings of 11th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI), 2018, pp. 1-7. (preprint)
Work in Progress
Spectral Bias Reduction using Wavelet Bases (with Y. Hur and M. Lim)
Deng-Han Wavelet Frames on Euclidean Spaces with the Scaling Relation (with S. Han and Y. Hur)
SHELF: Theory-Scale Autoformalization with Controlled External Library (with D. Lee and S. Park)
Wavelet Frames over p-adic Numbers (with W. Lee)
Ph.D. Mathematics in Yonsei University, 2024
B.S. Mathematics in Konkuk University, 2017