I’m AI fellow in the Center for Artificial Intelligence and Natural Sciences at KIAS (Korea Institute for Advanced Study).
My main research area is AI for mathematics, with a focus on applying AI techniques to algebraic combinatorics. I also conduct research on the formalization of mathematics.

Here is my CV.