This page records AI-related mathematics programs and workshops in which I have participated, together with a small interactive page produced during a recent group project.
I joined the Algebra, Combinatorics & Topology week (Aug 3–7) and worked with a group studying the dimension of the Fomin–Kirillov algebra using computational experiments and AI-assisted exploration.
I built the FK Edge-Heap Lab with AI for our group's work on the Fomin–Kirillov algebra. We used it to explore words and reductions toward the goal of proving that FK6 is infinite-dimensional.
A five-day workshop centered on AI methods for combinatorics, combining invited talks, tutorials, and working discussions between combinatorialists and AI researchers.
A joint KIAS–Korean Mathematical Society conference bringing together mathematical research, machine learning, formal reasoning, and AI-assisted discovery.
A four-day hackathon-style program. In the ML and Discrete Mathematics team, I worked hands-on with FunSearch and explored how LLM-guided evolutionary search can be applied to combinatorial problems.