Misc

I am interested in formalizing foundational results in complex algebraic geometry. Example projects include the Analytic Weierstrass Preparation Theorem and the Analytic Nullstellensatz. More to come.

I make sure these formalizations pass comparator testing and are sound. They are also available through the Palomar Registry.

I am enthusiastic about using AI-assisted methods to pursue results that I find elegant and worth developing. Most of these projects will concern geometry. I will experiment with different workflows for different types of investigation, sometimes incorporating input from experts.

I verify each result myself whenever it lies within my expertise. Otherwise, I consult experts. If related work is made public, I will disclose the role of AI. For results in algebraic geometry and closely related areas, readers may assume that I understand the main proof.

Coming soon.