Moduli spaces and their various algebraic invariants such as derived categories
and K_0 ring.
AI in pure math research, such as using neural networks to get predictions/ results related to commutative algebra and geometric invariant theory, and Lean formalization.
From left: Giovanni Inchiostro, Jarod Alper, Arkamouli Debnath,
Max Lieblich, Abel Rodriguez
Oriented cohomology theory of some moduli spaces via blow ups, (with Michael Zeng) (arxiv link)
These projects are mostly experimental and meant for exploring the use of neural networks in algebraic geometry, rather than serious research. However, I do intend to conduct actual research on these topics sometime soon.
GIT semistability for binary forms of varying degrees (joint with Michael Zeng)
Lean Formalization Projects And News
In Spring 2026, I am mentoring a team of undergraduate students, along with Leopold Mayer and Giovanni Inchiostro, in a project to formalize Geometric Invariant Theory, as part of the Math AI Lab at UW.
I participated in UW Lean Hackathon (2026) and collaborated in a Lean formalization project on origami constructible numbers.
Some number theory problems - showing absence of roots of some Diophantine equations